TFL/rules.ML
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.
Thu, 08 Jul 2004 19:33:05 +0200 wenzelm got rid of obsolete meta_simpset;
Wed, 30 Jun 2004 00:42:59 +0200 skalberg Made simplification procedures simpset-aware.
Sat, 29 May 2004 15:07:05 +0200 wenzelm transform_error;
Thu, 22 Apr 2004 10:52:32 +0200 wenzelm tuned;
Thu, 04 Oct 2001 15:19:56 +0200 wenzelm qualify MetaSimplifier;
Fri, 28 Sep 2001 19:23:35 +0200 wenzelm prove: ``strict'' argument;
Tue, 16 Jan 2001 00:40:57 +0100 wenzelm renamed Product_Type.split to split_conv;
Thu, 04 Jan 2001 19:41:13 +0100 wenzelm tuned comment;
Wed, 03 Jan 2001 21:20:40 +0100 wenzelm renamed .sml files to .ML;
less more (0) tip