| Thu, 04 Apr 2002 16:47:44 +0200 | kleing | tuned | changeset | files |
| Wed, 03 Apr 2002 10:21:13 +0200 | oheimb | bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc. | changeset | files |
| Tue, 02 Apr 2002 14:28:28 +0200 | paulson | conversion of some HOL/Induct proof scripts to Isar | changeset | files |
| Tue, 02 Apr 2002 13:47:01 +0200 | nipkow | Started to convert to locales | changeset | files |
| Thu, 28 Mar 2002 16:28:12 +0100 | berghofe | mk_const_id now checks for clashes with reserved ML identifiers. | changeset | files |
| Wed, 27 Mar 2002 20:45:03 +0100 | kleing | added lbv completeness | changeset | files |