src/HOL/IsaMakefile
1997-05-16 mueller 1997-05-16 added Modelcheck example;
1997-05-15 paulson 1997-05-15 Preliminary TFL versions
1997-05-07 paulson 1997-05-07 Moved induction examples to directory Induct
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-30 mueller 1997-04-30 removed (most of) IOA (see HOLCF/IOA);
1997-04-23 nipkow 1997-04-23 Added NatDef
1997-04-18 paulson 1997-04-18 ex/LFilter is a new theory (and dependency)
1997-04-08 nipkow 1997-04-08 Dep. on Provers/nat_transitive
1997-04-04 slotosch 1997-04-04 Added Example Quot CVS ----------------------------------------------------------------------
1997-04-04 wenzelm 1997-04-04 added Quot examples;
1997-04-04 paulson 1997-04-04 Added blast.ML as a dependency
1997-03-20 wenzelm 1997-03-20 improved session names;
1997-03-20 wenzelm 1997-03-20 isatool usedir;
1997-02-15 oheimb 1997-02-15 cosmetic
1997-02-12 wenzelm 1997-02-12 TFL: missing -q option!
1997-01-23 wenzelm 1997-01-23 added AxClasses test;
1997-01-17 nipkow 1997-01-17 Added W0 and modified MiniML.
1997-01-07 wenzelm 1997-01-07 minor tuning; added Auth/Recur;
1996-12-18 wenzelm 1996-12-18 IsaMakefile for HOL;