| Mon, 28 Dec 1998 16:59:28 +0100 | paulson | new inductive, datatype and primrec packages, etc. | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | 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 |