| Mon, 28 Dec 1998 16:59:28 +0100 | paulson | new inductive, datatype and primrec packages, etc. | file | diff | annotate |
| Fri, 25 Sep 1998 13:18:07 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | file | diff | annotate |
| Wed, 23 Sep 1998 10:17:11 +0200 | paulson | New directory Integ for the integers | file | diff | annotate |
| Thu, 10 Sep 1998 17:34:01 +0200 | paulson | new file AC/WO1_WO7.thy | file | diff | annotate |
| Fri, 17 Jul 1998 11:23:17 +0200 | paulson | added Main and Update | file | diff | annotate |
| Fri, 01 May 1998 11:22:09 +0200 | paulson | Let.ML and Let.thy had been omitted | file | diff | annotate |
| Wed, 07 Jan 1998 13:53:42 +0100 | wenzelm | improved targets; | file | diff | annotate |
| Fri, 19 Dec 1997 10:18:58 +0100 | wenzelm | log files; | file | diff | annotate |
| Mon, 07 Jul 1997 09:09:21 +0200 | wenzelm | eliminated chmod -w; | file | diff | annotate |
| Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| Fri, 25 Apr 1997 15:24:07 +0200 | wenzelm | removed -c option; | file | diff | annotate |
| Thu, 20 Mar 1997 11:39:40 +0100 | wenzelm | isatool usedir; | file | diff | annotate |
| Thu, 09 Jan 1997 16:01:34 +0100 | wenzelm | IsaMakefile for ZF; | file | diff | annotate |