| Wed, 29 Aug 2007 13:58:00 +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 11:10:59 +0200 | chaieb | removed unused theorems ; added lifting properties for foldr and foldl | changeset | files |
| Wed, 29 Aug 2007 11:10:28 +0200 | wenzelm | removed Hoare/hoare.ML, Hoare/hoareAbort.ML, ex/svc_oracle.ML (which can be mistaken as attached ML script on case-insensitive file-system); | changeset | files |
| Wed, 29 Aug 2007 10:20:22 +0200 | berghofe | Deleted unused fillin_mixfix function. | changeset | files |