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;
1997-12-11 paulson 1997-12-11 Tidied final proof
1997-12-11 paulson 1997-12-11 Tidied proof of finite_subset_induct
1997-12-11 paulson 1997-12-11 Got rid of mod2_neq_0
1997-12-08 wenzelm 1997-12-08 \subsection{*Theory inclusion};
1997-12-08 paulson 1997-12-08 Tidying to fix overfull lines, etc
1997-12-08 paulson 1997-12-08 Comprehensive (??) list of bugs, fixed or not
1997-12-07 wenzelm 1997-12-07 tuned;