| Sun, 11 Jul 2004 20:33:22 +0200 |
wenzelm |
local_cla/simpset_of;
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Mon, 30 Sep 2002 16:32:05 +0200 |
berghofe |
Introduced addss', which adds asm_lr_simp_tac as a wrapper to the claset.
|
file |
diff |
annotate
|
| Tue, 05 Mar 2002 20:55:20 +0100 |
wenzelm |
iff: conditional rules declared as ``unsafe'';
|
file |
diff |
annotate
|
| Wed, 05 Dec 2001 03:11:05 +0100 |
wenzelm |
iff?: refer to Pure/ContextRules;
|
file |
diff |
annotate
|
| Tue, 23 Oct 2001 19:13:44 +0200 |
wenzelm |
iff: always rotate prems;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2001 19:33:22 +0200 |
oheimb |
corrected semantics of [iff] concerning rules with premises
|
file |
diff |
annotate
|
| Mon, 06 Aug 2001 12:46:21 +0200 |
paulson |
removed the warning from [iff]
|
file |
diff |
annotate
|
| Thu, 31 May 2001 16:52:02 +0200 |
oheimb |
streamlined addIffs/delIffs, added warnings
|
file |
diff |
annotate
|
| Fri, 23 Feb 2001 16:31:21 +0100 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
| Sun, 07 Jan 2001 21:41:56 +0100 |
wenzelm |
CHANGED_PROP;
|
file |
diff |
annotate
|
| Tue, 24 Oct 2000 17:35:22 +0200 |
wenzelm |
added clasimpset: unit -> clasimpset;
|
file |
diff |
annotate
|
| Wed, 20 Sep 2000 00:02:26 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2000 23:52:37 +0200 |
wenzelm |
added iff_add_global', iff_add_local' (syntax "iff?");
|
file |
diff |
annotate
|
| Wed, 13 Sep 2000 22:31:19 +0200 |
wenzelm |
Args.addN, Args.delN;
|
file |
diff |
annotate
|