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