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 12:23:24 +0200 |
wenzelm |
misc tuning and recovery of Isabelle coding style;
|
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 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:05:40 +0200 |
boehmes |
re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values,
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Mon, 14 Sep 2009 19:30:48 +0200 |
nipkow |
count number of iterations required for minimization (and fixed bug: minimization was always called)
|
file |
diff |
annotate
|
Mon, 07 Sep 2009 22:08:05 +0200 |
nipkow |
Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna)
|
file |
diff |
annotate
|
Sat, 05 Sep 2009 22:01:31 +0200 |
boehmes |
added signature ATP_MINIMAL,
|
file |
diff |
annotate
|
Thu, 03 Sep 2009 17:55:31 +0200 |
boehmes |
added runtime information to sledgehammer
|
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
|