| Tue, 12 Jan 1999 15:17:37 +0100 | wenzelm | eliminated global/local names; | file | diff | annotate |
| Tue, 12 Jan 1999 13:54:51 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Thu, 07 Jan 1999 18:30:55 +0100 | paulson | ZF: the natural numbers as a datatype | file | diff | annotate |
| Wed, 06 Jan 1999 13:24:33 +0100 | paulson | induct_tac and exhaust_tac | file | diff | annotate |
| Mon, 28 Dec 1998 16:58:11 +0100 | paulson | revised datatype definition package | file | diff | annotate |