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

1997-12-19 wenzelm [Fri, 19 Dec 1997 09:57:24 +0100] rev 4437
removed maketest;
src/Pure/Thy/file.ML

1997-12-18 wenzelm [Thu, 18 Dec 1997 19:12:22 +0100] rev 4436
showtime - print time.
lib/scripts/showtime

1997-12-18 oheimb [Thu, 18 Dec 1997 12:50:58 +0100] rev 4435
added expand_split_asm
src/HOL/Prod.ML

1997-12-18 paulson [Thu, 18 Dec 1997 11:13:10 +0100] rev 4434
UNIV_I no longer counts as safe
src/HOL/Set.ML

1997-12-17 wenzelm [Wed, 17 Dec 1997 18:13:43 +0100] rev 4433
tuned;
lib/scripts/run-mlworks

1997-12-17 wenzelm [Wed, 17 Dec 1997 17:59:18 +0100] rev 4432
added mlworks;
etc/settings

1997-12-17 wenzelm [Wed, 17 Dec 1997 17:51:39 +0100] rev 4431
added MLWorks;
README.html