2003-10-17 paulson 2003-10-17 improved tracing
2003-10-03 paulson 2003-10-03 added a comment
2003-10-01 berghofe 2003-10-01 Fixed inefficiency in post_definition by adding weak case congruence rules to simpset.
2002-02-20 wenzelm 2002-02-20 Symbol.bump_string;
2001-09-28 wenzelm 2001-09-28 prove: ``strict'' argument;
2001-07-25 paulson 2001-07-25 defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some dynamically, so recdef no longer needs to import Hilbert_Choice.
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;