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