TFL/tfl.ML
2005-03-04 skalberg Removed practically all references to Library.foldr.
2005-03-03 skalberg Move towards standard functions.
2005-02-13 skalberg Deleted Library.option type.
2004-05-29 wenzelm Sign.infer_types: Sign.pp;
2003-10-17 paulson improved tracing
2003-10-03 paulson added a comment
2003-10-01 berghofe Fixed inefficiency in post_definition by adding weak case congruence
2002-02-19 wenzelm Symbol.bump_string;
2001-09-28 wenzelm prove: ``strict'' argument;
2001-07-25 paulson defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some
2001-01-03 wenzelm renamed .sml files to .ML;
less more (0) tip