src/Sequents/simpdata.ML
Wed, 09 May 2007 19:37:21 +0200 wenzelm tuned ML setup;
Tue, 21 Nov 2006 00:07:05 +0100 wenzelm removed legacy ML setup;
Mon, 20 Nov 2006 23:47:10 +0100 wenzelm converted legacy ML scripts;
Tue, 18 Oct 2005 17:59:25 +0200 wenzelm Simplifier.theory_context;
Mon, 17 Oct 2005 23:10:13 +0200 wenzelm change_claset/simpset;
Sun, 18 Sep 2005 15:20:08 +0200 wenzelm converted to Isar theory format;
Sat, 12 Jan 2002 16:37:58 +0100 wenzelm renamed forall_elim_vars_safe to gen_all;
Fri, 11 Jan 2002 14:53:30 +0100 wenzelm replace gen_all by forall_elim_vars_safe;
Tue, 29 Aug 2000 00:55:31 +0200 wenzelm cong setup now part of Simplifier;
Thu, 06 Jul 2000 11:24:09 +0200 paulson removal of batch style, and tidying
Tue, 21 Sep 1999 19:11:07 +0200 nipkow Mod because of new solver interface.
Wed, 28 Jul 1999 13:55:34 +0200 paulson congruence rule for |-, etc.
Tue, 27 Jul 1999 19:02:43 +0200 paulson installation of simplifier and classical reasoner, better rules etc
less more (0) tip