src/LCF/IsaMakefile
2006-06-01 wenzelm 2006-06-01 removed obsolete ML files;
2006-06-01 wenzelm 2006-06-01 removed obsolete ML files;
2005-09-03 wenzelm 2005-09-03 removed fix.thy, pair.thy, simpdata.ML; renamed LCF.ML to LCF_lemmas.ML;
1999-02-03 wenzelm 1999-02-03 usedir -r;
1998-05-08 wenzelm 1998-05-08 proper thy files;
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-08 wenzelm 1997-01-08 IsaMakefile for LCF;