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