| Wed, 14 Oct 2009 23:44:37 +0200 |
wenzelm |
modernized structure names;
|
file |
diff |
annotate
|
| Sat, 03 Oct 2009 12:05:40 +0200 |
boehmes |
re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values,
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 19:20:24 +0200 |
wenzelm |
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
check for current versions on server
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
relevance filter with the same parameters for remote-versions
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
use X2TPTP optionally and only for remote_spass;
|
file |
diff |
annotate
|
| Mon, 04 May 2009 23:37:39 +0200 |
immler |
added Philipp Meyer's implementation of AtpMinimal
|
file |
diff |
annotate
|
| Wed, 28 Jan 2009 11:03:16 +0100 |
haftmann |
Plain, Main form meeting points in import hierarchy
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:42:37 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:40:23 +0100 |
haftmann |
changed import hierarchy
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 20:05:31 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 20:58:08 +0100 |
immler |
pass timeout to prover;
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 16:05:57 +0100 |
immler |
modified remote script;
|
file |
diff |
annotate
|
| Wed, 14 Jan 2009 20:19:47 +0100 |
immler |
removed useless
|
file |
diff |
annotate
|
| Mon, 12 Jan 2009 16:16:05 +0100 |
immler |
simplified usage of remote-script; added compatible remote-atps
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:31 +0100 |
haftmann |
dropped ID
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 20:10:43 +0200 |
wenzelm |
tuned AtpWrapper interfaces;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 16:01:36 +0200 |
wenzelm |
renamed AtpThread to AtpWrapper;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 15:16:09 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Mon, 13 Oct 2008 14:04:53 +0200 |
wenzelm |
** Update from Fabian **
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 19:35:16 +0200 |
wenzelm |
perform atp_setups here;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 16:37:09 +0200 |
wenzelm |
version of sledgehammer using threads instead of processes, misc cleanup;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 15:20:33 +0200 |
wenzelm |
removed old/unused setup of raw ATP oracles;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Thu, 12 Jun 2008 22:29:49 +0200 |
wenzelm |
tuned setup;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 08:33:10 +0200 |
haftmann |
dropped theory PreList
|
file |
diff |
annotate
|
| Sat, 22 Dec 2007 14:10:22 +0100 |
wenzelm |
use random_word.ML earlier;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2007 14:33:40 +0100 |
wenzelm |
moved Pure/General/random_word.ML to Tools/random_word.ML;
|
file |
diff |
annotate
|
| Wed, 19 Dec 2007 17:40:48 +0100 |
paulson |
Replaced refs by config params; finer critical section in mets method
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:03 +0100 |
haftmann |
swtiched ATP_Linkup and PreList in theory hierarchy
|
file |
diff |
annotate
|
| Wed, 10 Oct 2007 15:05:42 +0200 |
paulson |
removed dead code
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 12:32:58 +0200 |
paulson |
combinator translation
|
file |
diff |
annotate
|
| Wed, 03 Oct 2007 00:02:56 +0200 |
wenzelm |
modernized definitions;
|
file |
diff |
annotate
|
| Thu, 27 Sep 2007 17:55:28 +0200 |
paulson |
removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering
|
file |
diff |
annotate
|
| Sat, 18 Aug 2007 13:32:18 +0200 |
wenzelm |
renamed ResAtpMethods.setup;
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 15:06:58 +0200 |
paulson |
combining the relevance filter with res_atp
|
file |
diff |
annotate
|
| Tue, 07 Aug 2007 09:38:43 +0200 |
haftmann |
changed import order
|
file |
diff |
annotate
|
| Fri, 20 Jul 2007 14:27:56 +0200 |
haftmann |
simplified HOL bootstrap
|
file |
diff |
annotate
|
| Fri, 29 Jun 2007 18:21:25 +0200 |
paulson |
bug fixes to proof reconstruction
|
file |
diff |
annotate
|
| Wed, 20 Jun 2007 23:19:16 +0200 |
wenzelm |
added Metis setup (from Metis.thy);
|
file |
diff |
annotate
|
| Thu, 04 Jan 2007 17:55:12 +0100 |
paulson |
improvements to proof reconstruction. Some files loaded in a different order
|
file |
diff |
annotate
|
| Wed, 03 Jan 2007 10:59:06 +0100 |
paulson |
first version of structured proof reconstruction
|
file |
diff |
annotate
|
| Wed, 22 Nov 2006 10:20:11 +0100 |
haftmann |
removed Extraction dependency
|
file |
diff |
annotate
|
| Wed, 08 Nov 2006 21:45:15 +0100 |
wenzelm |
incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup;
|
file |
diff |
annotate
|