| Sun, 18 Oct 2009 22:16:37 +0200 |
wenzelm |
removed disjunctive group cancellation -- provers run independently;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2009 21:13:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 16 Oct 2009 00:26:19 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 17:49:30 +0200 |
wenzelm |
natural argument order for prover;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 17:06:19 +0200 |
wenzelm |
ATP_Manager.get_prover: canonical argument order;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 11:49:27 +0200 |
wenzelm |
eliminated extraneous wrapping of public records;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 11:12:09 +0200 |
wenzelm |
renamed functor HeapFun to Heap;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 10:59:10 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 00:55:29 +0200 |
wenzelm |
structure ATP_Manager: eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2009 23:44:37 +0200 |
wenzelm |
modernized structure names;
|
file |
diff |
annotate
|
| Sat, 03 Oct 2009 12:10:16 +0200 |
boehmes |
merged
|
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
|
| Fri, 02 Oct 2009 23:15:36 +0200 |
wenzelm |
eliminated dead code;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 16:46:48 +0200 |
nipkow |
made spass additional default prover
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Thu, 03 Sep 2009 17:55:31 +0200 |
boehmes |
added runtime information to sledgehammer
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 21:57:06 +0200 |
boehmes |
propagate theorem names, in addition to generated return message
|
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
| base
|