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