2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-06-14 ago removed obsolete ML_SUFFIX;
2008-04-08 ago fixed makefiles
2007-10-04 ago moved Pure/Isar/induct_attrib.ML and Provers/induct_method.ML to Tools/induct.ML;
2007-07-22 ago turned ex/prop.ML, ex/quant.ML into proper theories;
2007-05-31 ago moved IsaPlanner from Provers to Tools;
2007-04-27 ago removed obsolete induct/simp tactic;
2006-11-26 ago converted legacy ML scripts;
2006-06-11 ago updated IsaMakefiles for new location of IsaPlanner.
2006-06-07 ago removed obsolete ML files;
2006-06-07 ago removed obsolete ML files;
2006-01-06 ago removed obsolete eqrule_FOL_data.ML;
2005-12-31 ago removed obsolete Provers/make_elim.ML;
2005-12-22 ago added Provers/project_rule.ML
2005-11-19 ago FOL: -p 2;
2005-10-11 ago ML_SUFFIX in targets (experimental);
2005-07-14 ago removed FOL/ex/IffOracle.ML;
2005-06-01 ago Locales: new element constrains, parameter renaming with syntax,
2005-05-22 ago Simplifier already setup in Pure;
2005-03-09 ago First version of global registration command.
2005-02-01 ago the new subst tactic, by Lucas Dixon
2004-04-02 ago Experimental command for instantiation of locales in proof contexts:
2003-10-16 ago partial conversion to Isar scripts
2003-08-15 ago converting ex/If to Isar script
2002-08-30 ago removal of blast.overloaded
2002-07-05 ago added dependency for $(OUT)/Pure
2001-12-17 ago mods due to changed 1-point simprocs (quantifier1).
2001-12-05 ago added ex/First_Order_Logic.thy, ex/document/root.tex;
2001-10-14 ago moved rulify to ObjectLogic;
2001-10-04 ago added Provers/induct_method.ML, document/root.tex, ex/Natural_Numbers.thy;
2000-09-07 ago added Provers/rulify.ML;
2000-06-29 ago improved arrangement of files;
2000-06-28 ago new file Provers/make_elim.ML
1999-08-25 ago proper bootstrap of IFOL/FOL theories and packages;
1998-03-06 ago added clasimp.ML;
1998-01-07 ago improved targets;
1997-12-19 ago log files;
1997-12-03 ago Instantiated the one-point-rule quantifier simpprocs for FOL
1997-10-09 ago removed declIffOracle;
1997-08-06 ago Removed reference to "thy_data.ML".
1997-07-07 ago eliminated chmod -w;
1997-05-20 ago new treatment of Prover files
1997-05-06 ago fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-04 ago Added blast.ML as a dependency
1997-03-20 ago isatool usedir;
1997-01-07 ago minor tuning;
1996-12-18 ago IsaMakefile for FOL;