TFL/tfl.ML
Tue, 13 Jun 2006 23:41:39 +0200 wenzelm tuned;
Thu, 06 Apr 2006 16:13:17 +0200 haftmann cleanup in typedef/datatype package
Wed, 15 Feb 2006 21:34:55 +0100 wenzelm removed distinct, renamed gen_distinct to distinct;
Tue, 07 Feb 2006 19:56:56 +0100 wenzelm adapted Sign.infer_types;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Tue, 06 Dec 2005 09:04:09 +0100 haftmann re-oriented some result tuples in PureThy
Wed, 16 Nov 2005 17:45:22 +0100 wenzelm Term.betapply;
Sat, 17 Sep 2005 18:11:25 +0200 wenzelm removed obsolete BasisLibrary;
Thu, 08 Sep 2005 16:09:23 +0200 haftmann introduces some modern-style AList operations
Thu, 14 Jul 2005 19:28:38 +0200 wenzelm replaced itlist by fold_rev;
Mon, 20 Jun 2005 22:14:20 +0200 wenzelm avoid identifier 'Name';
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Sat, 29 May 2004 14:59:24 +0200 wenzelm Sign.infer_types: Sign.pp;
Fri, 17 Oct 2003 11:03:48 +0200 paulson improved tracing
Fri, 03 Oct 2003 12:36:16 +0200 paulson added a comment
Wed, 01 Oct 2003 11:02:36 +0200 berghofe Fixed inefficiency in post_definition by adding weak case congruence
Wed, 20 Feb 2002 00:53:53 +0100 wenzelm Symbol.bump_string;
Fri, 28 Sep 2001 19:23:35 +0200 wenzelm prove: ``strict'' argument;
Wed, 25 Jul 2001 18:21:01 +0200 paulson defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some
Wed, 03 Jan 2001 21:20:40 +0100 wenzelm renamed .sml files to .ML;
less more (0) tip