Mon, 30 Sep 2002 16:14:02 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Tue, 17 Oct 2000 10:21:12 +0200 |
paulson |
renaming of contrapos rules
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 19:29:03 +0200 |
wenzelm |
tuned version by Stephan Merz (unbatchified etc.);
|
file |
diff |
annotate
|
Tue, 21 Sep 1999 19:11:07 +0200 |
nipkow |
Mod because of new solver interface.
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 13:46:29 +0200 |
paulson |
changed header to cope with default if_weak_cong
|
file |
diff |
annotate
|
Mon, 08 Feb 1999 13:02:56 +0100 |
wenzelm |
updated (Stephan Merz);
|
file |
diff |
annotate
|
Wed, 24 Dec 1997 10:02:30 +0100 |
paulson |
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Wed, 08 Oct 1997 11:50:33 +0200 |
wenzelm |
A formalization of TLA in HOL -- by Stephan Merz;
|
file |
diff |
annotate
|