1997-12-19 wenzelm [Fri, 19 Dec 1997 10:18:58 +0100] rev 4447
log files;
'clean' target;
src/CCL/IsaMakefile src/CTT/IsaMakefile src/Cube/IsaMakefile src/FOL/IsaMakefile src/FOLP/IsaMakefile src/HOL/IsaMakefile src/HOLCF/IsaMakefile src/LCF/IsaMakefile src/Sequents/IsaMakefile src/ZF/IsaMakefile

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:18:03 +0100] rev 4446
tuned;
src/CCL/ex/ROOT.ML src/CTT/ex/ROOT.ML src/Cube/ex/ROOT.ML src/FOL/ex/ROOT.ML src/FOLP/ex/ROOT.ML src/LCF/ex/ROOT.ML src/Sequents/ex/ILL/ROOT.ML src/Sequents/ex/LK/ROOT.ML src/Sequents/ex/Modal/ROOT.ML src/Sequents/ex/ROOT.ML src/ZF/AC/ROOT.ML src/ZF/Coind/ROOT.ML src/ZF/IMP/ROOT.ML src/ZF/Resid/ROOT.ML src/ZF/ex/Bin.ML src/ZF/ex/ROOT.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:17:04 +0100] rev 4445
added rev_order, make_ord;
reimplemented sort function: stable version of quicksort;
src/Pure/library.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:16:16 +0100] rev 4444
term order;
signature;
src/Pure/term.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:15:51 +0100] rev 4443
term order stuff moved to term.ML;
src/Pure/logic.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:15:26 +0100] rev 4442
log file;
elapsed time;
src/Pure/mk

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:14:55 +0100] rev 4441
'clean' target;
src/Pure/IsaMakefile

1997-12-19 wenzelm [Fri, 19 Dec 1997 10:13:47 +0100] rev 4440
adapted to new sort function;
src/CTT/CTT.ML src/FOL/intprover.ML src/FOLP/classical.ML src/FOLP/intprover.ML src/Pure/display.ML src/Pure/drule.ML src/Sequents/prover.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 09:58:42 +0100] rev 4439
Term.termless;
src/Pure/thm.ML

1997-12-19 wenzelm [Fri, 19 Dec 1997 09:58:03 +0100] rev 4438
adapted to new sort function;
src/Pure/Thy/thm_database.ML src/Pure/tactic.ML src/Pure/unify.ML