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