Wed, 01 Jun 2011 21:35:34 +0200 | nipkow | Replacing old IMP with new Semantics material | changeset | files |
Wed, 01 Jun 2011 15:53:47 +0200 | nipkow | tuned lemmas | changeset | files |
Wed, 01 Jun 2011 19:50:59 +0200 | blanchet | fixed debilitating translation bug introduced in b6e61d22fa61 -- "equal" and "=" should always have arity 2 | changeset | files |