| Fri, 16 May 1997 17:40:41 +0200 | nipkow | Distributed Psubset stuff to basic set theory files, incl Finite. | file | diff | annotate |
| Fri, 16 May 1997 16:08:38 +0200 | mueller | added Modelcheck example; | file | diff | annotate |
| Thu, 15 May 1997 12:53:39 +0200 | paulson | Preliminary TFL versions | file | diff | annotate |
| Wed, 07 May 1997 13:51:22 +0200 | paulson | Moved induction examples to directory Induct | file | diff | annotate |
| Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| Wed, 30 Apr 1997 11:58:23 +0200 | mueller | removed (most of) IOA (see HOLCF/IOA); | file | diff | annotate |
| Wed, 23 Apr 1997 13:23:05 +0200 | nipkow | Added NatDef | file | diff | annotate |
| Fri, 18 Apr 1997 11:47:36 +0200 | paulson | ex/LFilter is a new theory (and dependency) | file | diff | annotate |
| Tue, 08 Apr 1997 10:48:42 +0200 | nipkow | Dep. on Provers/nat_transitive | file | diff | annotate |
| Fri, 04 Apr 1997 16:04:28 +0200 | slotosch | Added Example Quot | file | diff | annotate |
| Fri, 04 Apr 1997 14:01:18 +0200 | wenzelm | added Quot examples; | file | diff | annotate |
| Fri, 04 Apr 1997 11:17:05 +0200 | paulson | Added blast.ML as a dependency | file | diff | annotate |
| Thu, 20 Mar 1997 11:38:58 +0100 | wenzelm | improved session names; | file | diff | annotate |
| Thu, 20 Mar 1997 11:32:57 +0100 | wenzelm | isatool usedir; | file | diff | annotate |
| Sat, 15 Feb 1997 17:45:08 +0100 | oheimb | cosmetic | file | diff | annotate |
| Wed, 12 Feb 1997 15:43:50 +0100 | wenzelm | TFL: missing -q option! | file | diff | annotate |
| Thu, 23 Jan 1997 14:19:16 +0100 | wenzelm | added AxClasses test; | file | diff | annotate |
| Fri, 17 Jan 1997 19:29:38 +0100 | nipkow | Added W0 and modified MiniML. | file | diff | annotate |
| Tue, 07 Jan 1997 09:01:18 +0100 | wenzelm | minor tuning; | file | diff | annotate |
| Wed, 18 Dec 1996 15:56:58 +0100 | wenzelm | IsaMakefile for HOL; | file | diff | annotate |