src/ZF/IsaMakefile
2001-02-03 paulson 2001-02-03 commutation theory, ported by Sidi Ehmety
2000-08-18 paulson 2000-08-18 new example ZF/ex/NatSum
2000-08-11 paulson 2000-08-11 new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
2000-08-07 paulson 2000-08-07 instantiated Cancel_Numerals for "nat" in ZF
2000-05-05 wenzelm 2000-05-05 removed Pure/section_utils.ML;
1999-02-03 wenzelm 1999-02-03 usedir -r;
1999-01-06 paulson 1999-01-06 induct_tac and exhaust_tac
1998-12-28 paulson 1998-12-28 new inductive, datatype and primrec packages, etc.
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
1998-09-23 paulson 1998-09-23 New directory Integ for the integers
1998-09-10 paulson 1998-09-10 new file AC/WO1_WO7.thy
1998-07-17 paulson 1998-07-17 added Main and Update
1998-05-01 paulson 1998-05-01 Let.ML and Let.thy had been omitted
1998-01-07 wenzelm 1998-01-07 improved targets; fixed dependencies on parent logics;
1997-12-19 wenzelm 1997-12-19 log files; 'clean' target;
1997-07-07 wenzelm 1997-07-07 eliminated chmod -w;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 removed -c option;
1997-03-20 wenzelm 1997-03-20 isatool usedir;
1997-01-09 wenzelm 1997-01-09 IsaMakefile for ZF;