| Wed, 11 Jun 2008 15:41:33 +0200 |
wenzelm |
converted ML proofs from simpdata.ML;
|
file |
diff |
annotate
|
| Sat, 17 May 2008 13:54:30 +0200 |
wenzelm |
structure Display: less pervasive operations;
|
file |
diff |
annotate
|
| Wed, 09 May 2007 19:37:21 +0200 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
| Tue, 21 Nov 2006 00:07:05 +0100 |
wenzelm |
removed legacy ML setup;
|
file |
diff |
annotate
|
| Mon, 20 Nov 2006 23:47:10 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2005 17:59:25 +0200 |
wenzelm |
Simplifier.theory_context;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2005 23:10:13 +0200 |
wenzelm |
change_claset/simpset;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2005 15:20:08 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2002 16:37:58 +0100 |
wenzelm |
renamed forall_elim_vars_safe to gen_all;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2002 14:53:30 +0100 |
wenzelm |
replace gen_all by forall_elim_vars_safe;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 00:55:31 +0200 |
wenzelm |
cong setup now part of Simplifier;
|
file |
diff |
annotate
|
| Thu, 06 Jul 2000 11:24:09 +0200 |
paulson |
removal of batch style, and tidying
|
file |
diff |
annotate
|
| Tue, 21 Sep 1999 19:11:07 +0200 |
nipkow |
Mod because of new solver interface.
|
file |
diff |
annotate
|
| Wed, 28 Jul 1999 13:55:34 +0200 |
paulson |
congruence rule for |-, etc.
|
file |
diff |
annotate
|
| Tue, 27 Jul 1999 19:02:43 +0200 |
paulson |
installation of simplifier and classical reasoner, better rules etc
|
file |
diff |
annotate
|