| Thu, 13 Jul 2000 23:20:57 +0200 | wenzelm | adapted PureThy.add_defs_i; | file | diff | annotate |
| Wed, 28 Jun 2000 12:16:36 +0200 | paulson | no longer depends upon a prior "open Ind_Syntax" from elsewhere | file | diff | annotate |
| Fri, 05 May 2000 22:37:04 +0200 | wenzelm | use Sign.simple_read_term; | file | diff | annotate |
| Mon, 13 Mar 2000 13:28:31 +0100 | wenzelm | adapted to new PureThy.add_thms etc.; | file | diff | annotate |
| 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 |