| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 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 |
| 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 |
| Tue, 02 Jul 2002 13:28:08 +0200 | paulson | Tidying and introduction of various new theorems | file | diff | annotate |
| Fri, 10 May 2002 22:50:08 +0200 | paulson | converted the AC branch to Isar | file | diff | annotate |
| Tue, 06 Feb 1996 12:27:17 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 26 Jul 1994 13:21:20 +0200 | lcp | Axiom of choice, cardinality results, etc. | file | diff | annotate |