TFL/tfl.ML
2006-06-13 wenzelm 2006-06-13 tuned;
2006-04-06 haftmann 2006-04-06 cleanup in typedef/datatype package
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2006-02-07 wenzelm 2006-02-07 adapted Sign.infer_types;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-12-06 haftmann 2005-12-06 re-oriented some result tuples in PureThy
2005-11-16 wenzelm 2005-11-16 Term.betapply;
2005-09-17 wenzelm 2005-09-17 removed obsolete BasisLibrary;
2005-09-08 haftmann 2005-09-08 introduces some modern-style AList operations
2005-07-14 wenzelm 2005-07-14 replaced itlist by fold_rev; replaced rev_itlist by fold;
2005-06-20 wenzelm 2005-06-20 avoid identifier 'Name';
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-05-29 wenzelm 2004-05-29 Sign.infer_types: Sign.pp;
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;