| Thu, 21 Oct 1999 18:45:31 +0200 | wenzelm | proper handling of axioms / defs; | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| Tue, 12 Jan 1999 13:54:51 +0100 | wenzelm | eliminated tthm type and Attribute structure; | 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:57:38 +0100 | paulson | new primrec package | file | diff | annotate |