| 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 |