src/FOL/IsaMakefile
2004-04-02 ballarin 2004-04-02 Experimental command for instantiation of locales in proof contexts: instantiate <label>: <loc>
2003-10-16 paulson 2003-10-16 partial conversion to Isar scripts
2003-08-15 paulson 2003-08-15 converting ex/If to Isar script
2002-08-30 paulson 2002-08-30 removal of blast.overloaded
2002-07-05 kleing 2002-07-05 added dependency for $(OUT)/Pure
2001-12-17 nipkow 2001-12-17 mods due to changed 1-point simprocs (quantifier1).
2001-12-05 wenzelm 2001-12-05 added ex/First_Order_Logic.thy, ex/document/root.tex;
2001-10-14 wenzelm 2001-10-14 moved rulify to ObjectLogic;
2001-10-04 wenzelm 2001-10-04 added Provers/induct_method.ML, document/root.tex, ex/Natural_Numbers.thy;
2000-09-07 wenzelm 2000-09-07 added Provers/rulify.ML;
2000-06-29 wenzelm 2000-06-29 improved arrangement of files; tuned;
2000-06-28 paulson 2000-06-28 new file Provers/make_elim.ML
1999-08-25 wenzelm 1999-08-25 proper bootstrap of IFOL/FOL theories and packages;
1998-03-06 wenzelm 1998-03-06 added clasimp.ML;
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-12-03 paulson 1997-12-03 Instantiated the one-point-rule quantifier simpprocs for FOL New file fologic.ML holds abstract syntax operations Also, miniscoping provided for intuitionistic logic
1997-10-09 wenzelm 1997-10-09 removed declIffOracle;
1997-08-06 berghofe 1997-08-06 Removed reference to "thy_data.ML".
1997-07-07 wenzelm 1997-07-07 eliminated chmod -w;
1997-05-20 paulson 1997-05-20 new treatment of Prover files
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-04 paulson 1997-04-04 Added blast.ML as a dependency
1997-03-20 wenzelm 1997-03-20 isatool usedir;
1997-01-07 wenzelm 1997-01-07 minor tuning; added thy_data.ML cladata.ML;
1996-12-18 wenzelm 1996-12-18 IsaMakefile for FOL;