Thu, 31 May 2007 01:25:24 +0200 |
wenzelm |
TextIO.inputLine: use present SML B library version;
|
file |
diff |
annotate
|
Wed, 28 Feb 2007 13:33:10 +0100 |
paulson |
Updated success string for Vampire.
|
file |
diff |
annotate
|
Thu, 25 May 2006 11:52:33 +0200 |
mengj |
A new "spass" method.
|
file |
diff |
annotate
|
Thu, 27 Apr 2006 12:10:47 +0200 |
paulson |
cosmetic changes
|
file |
diff |
annotate
|
Tue, 07 Mar 2006 03:54:11 +0100 |
mengj |
Moved the settings for ATP time limit to res_atp.ML
|
file |
diff |
annotate
|
Thu, 23 Feb 2006 12:59:01 +0100 |
mengj |
eprover removes tmp files too.
|
file |
diff |
annotate
|
Fri, 20 Jan 2006 04:50:01 +0100 |
mengj |
added some debugging code.
|
file |
diff |
annotate
|
Mon, 28 Nov 2005 07:14:12 +0100 |
mengj |
Slight modification to trace information.
|
file |
diff |
annotate
|
Fri, 18 Nov 2005 07:07:06 +0100 |
mengj |
-- split up inputs to ATPs into two groups: temporary files (axioms and goals) and permanent helper files (e.g. combinator reduction axioms).
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 10:25:46 +0200 |
mengj |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 06:33:24 +0200 |
mengj |
Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").
|
file |
diff |
annotate
|