| Sun, 30 Jul 2006 21:28:48 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2005 08:58:36 +0100 |
haftmann |
removed superfluos is_prefix functions
|
file |
diff |
annotate
|
| Wed, 02 Nov 2005 14:46:47 +0100 |
wenzelm |
Logic.nth_prem;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 16:24:53 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:14 +0200 |
wenzelm |
replaced obsolete theory_of_sign by theory_of_thm;
|
file |
diff |
annotate
|
| Tue, 31 May 2005 11:53:43 +0200 |
wenzelm |
no_tac;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Thu, 08 Aug 2002 23:46:09 +0200 |
wenzelm |
use Tactic.prove instead of prove_goalw_cterm in internal proofs!
|
file |
diff |
annotate
|
| Tue, 06 Aug 2002 11:22:05 +0200 |
wenzelm |
sane interface for simprocs;
|
file |
diff |
annotate
|
| Thu, 01 Feb 2001 20:51:48 +0100 |
oheimb |
converted to Isar therory, adding attributes complete_split and split_format
|
file |
diff |
annotate
|
| Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 23 Aug 1999 15:30:26 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 19:55:13 +0200 |
wenzelm |
quite a lot of tuning an cleanup;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 10:56:37 +0200 |
mueller |
added modelchecker mucke besides modelchecker eindhoven;
|
file |
diff |
annotate
|