1997-12-19 wenzelm 1997-12-19 log files; 'clean' target;
1997-12-19 wenzelm 1997-12-19 tuned;
1997-12-19 wenzelm 1997-12-19 added rev_order, make_ord; reimplemented sort function: stable version of quicksort;
1997-12-19 wenzelm 1997-12-19 term order; signature;
1997-12-19 wenzelm 1997-12-19 term order stuff moved to term.ML;
1997-12-19 wenzelm 1997-12-19 log file; elapsed time;
1997-12-19 wenzelm 1997-12-19 'clean' target;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 Term.termless;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 removed maketest;
1997-12-18 wenzelm 1997-12-18 showtime - print time.
1997-12-18 oheimb 1997-12-18 added expand_split_asm
1997-12-18 paulson 1997-12-18 UNIV_I no longer counts as safe
1997-12-17 wenzelm 1997-12-17 tuned;
1997-12-17 wenzelm 1997-12-17 added mlworks;
1997-12-17 wenzelm 1997-12-17 added MLWorks;
1997-12-17 wenzelm 1997-12-17 misc improvements; stack_overflow_handler;
1997-12-17 wenzelm 1997-12-17 tuned tmp file name;
1997-12-17 wenzelm 1997-12-17 tuned comment;
1997-12-17 wenzelm 1997-12-17 added ML-Systems/mlworks.ML;
1997-12-16 wenzelm 1997-12-16 MLWorks startup script (for 1.0r2 or later).
1997-12-16 wenzelm 1997-12-16 renamed to mlworks.ML;
1997-12-16 wenzelm 1997-12-16 Compatibility file for MLWorks version 1.0r2 or later.
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-12-16 paulson 1997-12-16 Simplified proofs using rewrites for f``A where f is injective
1997-12-16 paulson 1997-12-16 Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
1997-12-16 wenzelm 1997-12-16 obsolete;
1997-12-16 wenzelm 1997-12-16 tuned;
1997-12-16 wenzelm 1997-12-16 obsolete;
1997-12-16 wenzelm 1997-12-16 adapted from Larry's version;
1997-12-16 wenzelm 1997-12-16 improved;
1997-12-15 wenzelm 1997-12-15 improved COMMIT_RO;
1997-12-15 wenzelm 1997-12-15 tuned;
1997-12-15 wenzelm 1997-12-15 polyml-3.1;
1997-12-15 wenzelm 1997-12-15 make smlnj-110 default;
1997-12-15 wenzelm 1997-12-15 tuned;
1997-12-15 wenzelm 1997-12-15 tuned;
1997-12-15 wenzelm 1997-12-15 No longer depend on theory context!
1997-12-13 wenzelm 1997-12-13 version = "Isabelle98: Jan 1998";
1997-12-13 wenzelm 1997-12-13 tuned comment;
1997-12-13 wenzelm 1997-12-13 smlnj-110;
1997-12-12 wenzelm 1997-12-12 deleted smlnj-1.09.ML;
1997-12-12 wenzelm 1997-12-12 obsolete;
1997-12-12 wenzelm 1997-12-12 Compatibility file for Standard ML of New Jersey.
1997-12-12 wenzelm 1997-12-12 tuned;
1997-12-12 wenzelm 1997-12-12 prepared for Isabelle98;
1997-12-12 wenzelm 1997-12-12 added;
1997-12-12 wenzelm 1997-12-12 obsolete;
1997-12-12 wenzelm 1997-12-12 tuned;
1997-12-12 wenzelm 1997-12-12 tuned msg;
1997-12-12 wenzelm 1997-12-12 tuned;
1997-12-12 wenzelm 1997-12-12 major update;
1997-12-12 wenzelm 1997-12-12 SYNC;
1997-12-12 paulson 1997-12-12 new blast_tac no longer works here
1997-12-12 paulson 1997-12-12 More deterministic (?) contr_tac
1997-12-12 paulson 1997-12-12 More deterministic and therefore faster (sometimes) proof reconstruction
1997-12-12 paulson 1997-12-12 ugly patch for new Blast_tac
1997-12-12 paulson 1997-12-12 Faster proof of mult_less_cancel2
1997-12-11 wenzelm 1997-12-11 tuned;