| Thu, 26 Jun 2003 18:20:00 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 26 Jun 2003 18:14:04 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 26 Jun 2003 15:48:33 +0200 | paulson | Conversion of "Merge" to Isar format | changeset | files |
| Wed, 25 Jun 2003 13:17:26 +0200 | paulson | Conversion of UNITY/Distributor to Isar script. General tidy-up. | changeset | files |
| Tue, 24 Jun 2003 16:32:59 +0200 | paulson | Converting ZF/UNITY to Isar | changeset | files |
| Tue, 24 Jun 2003 10:42:34 +0200 | berghofe | Added new theories StrongNorm and WeakNorm to Lambda example. | changeset | files |
| Tue, 24 Jun 2003 10:41:53 +0200 | berghofe | Bibliography file with paper by Matthes and Joachimski. | changeset | files |