Tue, 19 Aug 2003 13:53:58 +0200 | paulson | For the Isar version of the ZF logics manual | changeset | files |
Fri, 15 Aug 2003 13:45:39 +0200 | paulson | converting ex/If to Isar script | changeset | files |
Fri, 15 Aug 2003 13:07:01 +0200 | paulson | A document for UNITY | changeset | files |