| Thu, 13 Jul 2000 23:20:57 +0200 | wenzelm | adapted PureThy.add_defs_i; | 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 |
| Mon, 04 Oct 1999 21:39:10 +0200 | wenzelm | mk_frees, assume_read moved here; | file | diff | annotate |
| Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | file | diff | annotate |
| Wed, 03 Feb 1999 13:29:24 +0100 | paulson | standard spelling: type-checking | 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 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 |
| Mon, 28 Dec 1998 16:58:00 +0100 | paulson | revised inductive definition package | file | diff | annotate |