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