src/HOL/IsaMakefile
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;