| Thu, 08 Sep 2005 17:35:02 +0200 |
paulson |
consolidation of duplicate code in Isabelle-ATP linkup
|
file |
diff |
annotate
|
| Thu, 08 Sep 2005 13:24:19 +0200 |
paulson |
yet more tidying of Isabelle-ATP link
|
file |
diff |
annotate
|
| Wed, 07 Sep 2005 18:14:26 +0200 |
paulson |
Progress on eprover linkup, also massive tidying
|
file |
diff |
annotate
|
| Thu, 28 Jul 2005 17:54:22 +0200 |
paulson |
uniform treatment of variable prefixes
|
file |
diff |
annotate
|
| Thu, 14 Jul 2005 19:28:22 +0200 |
wenzelm |
replaced Utils.itlist by fold_rev;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:07:25 +0200 |
wenzelm |
open ReconPrelim ReconTranslateProof;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2005 20:26:31 +0200 |
quigley |
Temporarily removed Rewrite from the translation code so that parsing with work on lists of numbers.
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 23:44:18 +0200 |
quigley |
Integrated vampire lemma code.
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 18:39:24 +0200 |
quigley |
Added VampCommunication.ML.
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:18:49 +0200 |
quigley |
Multiple subgoals working.
|
file |
diff |
annotate
|
| Fri, 10 Jun 2005 16:15:36 +0200 |
quigley |
All subgoals sent to the watcher at once now.
|
file |
diff |
annotate
|
| Tue, 24 May 2005 10:23:24 +0200 |
paulson |
A new structure and reduced indentation
|
file |
diff |
annotate
|
| Tue, 03 May 2005 14:27:21 +0200 |
quigley |
Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
|
file |
diff |
annotate
|
| Thu, 21 Apr 2005 15:05:24 +0200 |
paulson |
added hearder lines and deleted some redundant material
|
file |
diff |
annotate
|
| Sat, 09 Apr 2005 16:27:11 +0200 |
paulson |
fixed the syntax of infix declarations
|
file |
diff |
annotate
|
| Fri, 08 Apr 2005 18:43:39 +0200 |
paulson |
Reconstruction code, now packaged to avoid name clashes
|
file |
diff |
annotate
|
| Thu, 31 Mar 2005 19:29:26 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|