| Wed, 29 Aug 2007 17:25:04 +0200 | nipkow | turned list comprehension translations into ML to optimize base case | changeset | files |
| Wed, 29 Aug 2007 16:46:08 +0200 | wenzelm | added Hoare/hoare_tac.ML (code from Hoare/Hoare.thy, also required in Isar_examples/Hoare.thy); | changeset | files |
| Wed, 29 Aug 2007 16:24:38 +0200 | wenzelm | added x86-solaris; | changeset | files |
| Wed, 29 Aug 2007 14:21:19 +0200 | chaieb | fixed Proofs | changeset | files |