Fri, 16 Sep 2005 11:39:09 +0200 |
paulson |
PARTIAL conversion to Vampire8
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 17:46:00 +0200 |
paulson |
massive tidy-up and simplification
|
file |
diff |
annotate
|
Wed, 14 Sep 2005 10:21:09 +0200 |
paulson |
correct E brackets
|
file |
diff |
annotate
|
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
|
Wed, 07 Sep 2005 09:54:31 +0200 |
paulson |
axioms now included in tptp files, no /bin/cat and various tidying
|
file |
diff |
annotate
|
Mon, 04 Jul 2005 15:51:56 +0200 |
quigley |
Streamlined the signal handler in watcher.ML
|
file |
diff |
annotate
|
Mon, 20 Jun 2005 21:34:31 +0200 |
wenzelm |
improved formatting;
|
file |
diff |
annotate
|
Mon, 20 Jun 2005 18:39:24 +0200 |
quigley |
Added VampCommunication.ML.
|
file |
diff |
annotate
|