But back the check that binders are * in claims! (took out while debugging)
But back the check that binders are * in claims! (took out while debugging)

darcs-hash:20080309213956-228f4-e4818e895d2b7a7e9f4b8b1bf4a73b2c7ada53d0.gz

avsm/Ivor,avsm/Ivor