src/Provers/clasimp.ML
Fri, 30 Jul 1999 13:43:26 +0200 wenzelm eliminated METHOD0 in favour of same_tac;
Sun, 29 Nov 1998 13:13:57 +0100 wenzelm method brute_force = ALLGOALS force_tac;
Wed, 18 Nov 1998 11:01:48 +0100 wenzelm method setup;
Fri, 23 Oct 1998 20:35:56 +0200 oheimb corrected auto_tac (applications of unsafe wrappers)
Fri, 25 Sep 1998 14:06:00 +0200 paulson deleted illegal "op"
Thu, 24 Sep 1998 17:17:56 +0200 oheimb removed addcongs2 and delcongs2
Mon, 21 Sep 1998 23:17:28 +0200 oheimb improved addbefore and addSbefore
Fri, 11 Sep 1998 17:20:58 +0200 oheimb added clarsimp_tac and Clarsimp_tac
Thu, 30 Jul 1998 19:02:52 +0200 wenzelm functorized Clasimp module;
Sat, 02 May 1998 16:46:17 +0200 wenzelm added CLASIMPSET(') tacticals;
Fri, 01 May 1998 22:30:42 +0200 oheimb Auto_tac: now uses enhanced version of asm_full_simp_tac,
Tue, 10 Mar 1998 18:26:27 +0100 oheimb renamed smart_tac to force_tac, slight improvement of force_tac
Thu, 26 Feb 1998 15:45:33 +0100 oheimb added smart_tac
Wed, 25 Feb 1998 20:25:27 +0100 oheimb factored out common code of HOL/simpdata.ML and FOL/simpdata.ML concerning
less more (0) tip