src/Pure/simplifier.ML
Sat, 14 Jan 2006 22:25:34 +0100 wenzelm generic attributes;
Tue, 10 Jan 2006 19:33:27 +0100 wenzelm Attrib.rule;
Fri, 28 Oct 2005 22:28:02 +0200 wenzelm export cong_modifiers, simp_modifiers';
Fri, 21 Oct 2005 18:14:47 +0200 wenzelm added simplification tactics and rules (from meta_simplifier.ML);
Tue, 18 Oct 2005 17:59:31 +0200 wenzelm renamed set_context to context;
Mon, 17 Oct 2005 23:10:21 +0200 wenzelm removed obsolete/experimental context components (superceded by Simplifier.the_context);
Thu, 29 Sep 2005 15:50:46 +0200 wenzelm export debug_bounds;
Tue, 02 Aug 2005 19:47:14 +0200 wenzelm export clear_ss;
Mon, 01 Aug 2005 19:20:43 +0200 wenzelm export MataSimplifier.inherit_bounds;
Wed, 13 Jul 2005 16:07:27 +0200 wenzelm removed obsolete delta stuff;
Wed, 06 Jul 2005 10:41:43 +0200 wenzelm multiple flags: prefer later ones;
Mon, 04 Jul 2005 20:20:50 +0200 wenzelm made smlnj happy;
Mon, 04 Jul 2005 20:13:39 +0200 wenzelm methods: added simp_flags argument, added "depth_limit" flag;
Fri, 17 Jun 2005 18:35:27 +0200 wenzelm accomodate change of TheoryDataFun;
Sun, 22 May 2005 16:51:03 +0200 wenzelm moved here from Provers;
less more (0) tip