| Tue, 27 May 2003 11:39:03 +0200 | paulson | updating ZF-UNITY with Sidi's new material | file | diff | annotate |
| Thu, 23 Jan 2003 10:30:14 +0100 | paulson | tidying (by script) | file | diff | annotate |
| Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | file | diff | annotate |
| Mon, 30 Sep 2002 16:47:03 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Sun, 14 Jul 2002 15:14:43 +0200 | paulson | improved presentation markup | file | diff | annotate |
| Tue, 09 Jul 2002 23:05:26 +0200 | paulson | better document preparation | file | diff | annotate |
| Sat, 29 Jun 2002 21:33:06 +0200 | paulson | conversion of many files to Isar format | file | diff | annotate |
| Mon, 07 Aug 2000 10:29:54 +0200 | paulson | instantiated Cancel_Numerals for "nat" in ZF | file | diff | annotate |