isabelle: File revisions

src/FOL/IsaMakefile

2001-10-04	wenzelm	added Provers/induct_method.ML, document/root.tex, ex/Natural_Numbers.thy;	file \| diff \| annotate
2000-09-07	wenzelm	added Provers/rulify.ML;	file \| diff \| annotate
2000-06-29	wenzelm	improved arrangement of files;	file \| diff \| annotate
2000-06-28	paulson	new file Provers/make_elim.ML	file \| diff \| annotate
1999-08-25	wenzelm	proper bootstrap of IFOL/FOL theories and packages;	file \| diff \| annotate
1998-03-06	wenzelm	added clasimp.ML;	file \| diff \| annotate
1998-01-07	wenzelm	improved targets;	file \| diff \| annotate
1997-12-19	wenzelm	log files;	file \| diff \| annotate
1997-12-03	paulson	Instantiated the one-point-rule quantifier simpprocs for FOL	file \| diff \| annotate
1997-10-09	wenzelm	removed declIffOracle;	file \| diff \| annotate
1997-08-05	berghofe	Removed reference to "thy_data.ML".	file \| diff \| annotate
1997-07-07	wenzelm	eliminated chmod -w;	file \| diff \| annotate
1997-05-20	paulson	new treatment of Prover files	file \| diff \| annotate
1997-05-06	wenzelm	fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);	file \| diff \| annotate
1997-04-04	paulson	Added blast.ML as a dependency	file \| diff \| annotate
1997-03-20	wenzelm	isatool usedir;	file \| diff \| annotate
1997-01-07	wenzelm	minor tuning;	file \| diff \| annotate
1996-12-18	wenzelm	IsaMakefile for FOL;	file \| diff \| annotate

isabelle