| Tue, 21 Jun 2005 23:44:18 +0200 |
quigley |
Integrated vampire lemma code.
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 13:34:24 +0200 |
paulson |
VAMPIRE_HOME, helper_path and various stylistic tweaks
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 18:39:24 +0200 |
quigley |
Added VampCommunication.ML.
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 15:55:44 +0200 |
paulson |
using TPTP2X_HOME; indentation, etc
|
file |
diff |
annotate
|
| Fri, 10 Jun 2005 16:15:36 +0200 |
quigley |
All subgoals sent to the watcher at once now.
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 11:31:22 +0200 |
wenzelm |
File.platform_path;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 15:54:11 +0200 |
quigley |
Added time lime (60 secs) to Spass calls.
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 14:50:48 +0200 |
paulson |
small tweaks; also now write_out_clasimp takes the current theory as argument
|
file |
diff |
annotate
|
| Tue, 31 May 2005 12:42:36 +0200 |
quigley |
Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass
|
file |
diff |
annotate
|
| Thu, 26 May 2005 16:50:07 +0200 |
paulson |
trying to set up portable calling sequences for SPASS and tptp2X
|
file |
diff |
annotate
|
| Tue, 24 May 2005 10:23:24 +0200 |
paulson |
A new structure and reduced indentation
|
file |
diff |
annotate
|
| Mon, 23 May 2005 00:18:51 +0200 |
quigley |
Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
|
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
|
| Wed, 20 Apr 2005 18:01:50 +0200 |
quigley |
Corrected the problem with the ATP directory.
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 16:03:17 +0200 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
| Tue, 19 Apr 2005 18:08:44 +0200 |
paulson |
more tidying of libraries in Reconstruction
|
file |
diff |
annotate
|
| Fri, 15 Apr 2005 13:35:53 +0200 |
paulson |
more tidying up of the SPASS interface
|
file |
diff |
annotate
|
| Tue, 12 Apr 2005 11:08:25 +0200 |
paulson |
tweaks mainly to achieve sml/nj compatibility
|
file |
diff |
annotate
|
| Mon, 11 Apr 2005 16:25:31 +0200 |
paulson |
removal of Main and other tidying up
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 18:44:45 +0200 |
paulson |
removed bad code
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 18:20:04 +0200 |
quigley |
Integrating the reconstruction files into the building of HOL
|
file |
diff |
annotate
|
| Tue, 05 Apr 2005 16:32:47 +0200 |
quigley |
Current version of res_atp.ML - causes an error when I run it. C.Q.
|
file |
diff |
annotate
|
| Mon, 04 Apr 2005 18:43:18 +0200 |
quigley |
Updated to add watcher code.
|
file |
diff |
annotate
|
| Thu, 31 Mar 2005 20:12:54 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 14 Mar 2005 17:04:10 +0100 |
paulson |
bug fixes involving typechecking clauses
|
file |
diff |
annotate
|
| Fri, 11 Mar 2005 16:08:21 +0100 |
webertj |
code reformatted
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 10:58:04 +0100 |
paulson |
removed dead code
|
file |
diff |
annotate
|
| Fri, 21 Jan 2005 18:00:18 +0100 |
paulson |
Jia Meng: delta simpsets and clasets
|
file |
diff |
annotate
|
| Tue, 30 Nov 2004 18:25:55 +0100 |
paulson |
resolution package tools by Jia Meng
|
file |
diff |
annotate
|