TFL/rules.ML
Tue, 13 Jun 2006 23:41:39 +0200 wenzelm tuned;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Wed, 16 Nov 2005 17:45:30 +0100 wenzelm tuned Pattern.match/unify;
Tue, 25 Oct 2005 18:18:49 +0200 wenzelm avoid legacy goals;
Fri, 21 Oct 2005 18:14:38 +0200 wenzelm OldGoals;
Tue, 18 Oct 2005 17:59:25 +0200 wenzelm Simplifier.theory_context;
Wed, 31 Aug 2005 15:46:40 +0200 wenzelm refer to theory instead of low-level tsig;
Sun, 28 Aug 2005 16:04:55 +0200 wenzelm avoid symbolic identifier;
Fri, 26 Aug 2005 08:42:52 +0200 haftmann replaced '?' by '??'
Thu, 14 Jul 2005 19:28:38 +0200 wenzelm replaced itlist by fold_rev;
Thu, 21 Apr 2005 19:13:03 +0200 berghofe Adapted to new interface of instantiation and unification / matching functions.
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