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
|