src/Provers/simplifier.ML
Fri, 15 Apr 2005 12:00:00 +0200 ballarin Removed most of the atp interface from Pure.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Thu, 03 Feb 2005 16:45:59 +0100 nipkow added find_rewrites
Fri, 21 Jan 2005 18:00:18 +0100 paulson Jia Meng: delta simpsets and clasets
Sun, 11 Jul 2004 20:35:50 +0200 wenzelm context dependent components;
Thu, 08 Jul 2004 19:34:00 +0200 wenzelm got rid of obsolete meta_simpset; tuned;
Fri, 25 Jun 2004 14:30:55 +0200 skalberg Merging the meta-simplifier with the Provers-simplifier. Next step:
Fri, 28 May 2004 21:09:56 +0200 schirmer added asm_lr_simplify/asm_lr_rewrite and adapted asm_full_simplify/asm_full_rewrite to match to corresponding simp_tacs
Mon, 30 Sep 2002 16:36:57 +0200 berghofe Added syntax for "asm_lr" simplifier option.
Wed, 07 Aug 2002 20:03:38 +0200 wenzelm tuned;
Tue, 06 Aug 2002 11:22:05 +0200 wenzelm sane interface for simprocs;
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Sat, 24 Nov 2001 16:54:32 +0100 wenzelm generic_merge;
Thu, 08 Nov 2001 23:59:37 +0100 wenzelm theory data: finish method;
Thu, 25 Oct 2001 22:42:50 +0200 wenzelm 'simplified' att: args;
Thu, 04 Oct 2001 15:19:56 +0200 wenzelm qualify MetaSimplifier;
Sun, 07 Jan 2001 21:41:56 +0100 wenzelm CHANGED_PROP;
Tue, 07 Nov 2000 17:42:19 +0100 berghofe Moved meta simplification stuff from Thm to MetaSimplifier.
Tue, 19 Sep 2000 23:53:00 +0200 wenzelm tuned args;
Fri, 15 Sep 2000 21:52:09 +0200 wenzelm safe_asm_full_simp_tac is back (for compat);
Wed, 13 Sep 2000 22:31:19 +0200 wenzelm Args.addN, Args.delN;
Thu, 07 Sep 2000 20:56:04 +0200 wenzelm tuned att names / msgs;
Tue, 05 Sep 2000 18:50:30 +0200 wenzelm removed 'other' modifier;
Tue, 29 Aug 2000 12:28:48 +0200 wenzelm made SML/XL happy;
Tue, 29 Aug 2000 00:56:22 +0200 wenzelm proper cong setup;
Thu, 03 Aug 2000 18:44:24 +0200 wenzelm unknown_theory/proof/context;
Tue, 25 Jul 2000 23:33:13 +0200 wenzelm tuned msg;
Fri, 21 Jul 2000 17:46:38 +0200 oheimb removed safe_asm_full_simp_tac
Wed, 31 May 2000 14:29:42 +0200 wenzelm Toplevel.no_timing;
Wed, 17 May 2000 17:16:21 +0200 wenzelm export generic_simp_tac;
less more (0) -100 -50 -30 tip