| Fri, 02 Oct 2009 22:02:54 +0200 |
wenzelm |
replaced Proof.get_goal state by Proof.flat_goal state, which provides the standard view on goals for (semi)automated tools;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Mon, 27 Apr 2009 07:26:17 -0700 |
huffman |
merged
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 21:28:04 +0200 |
wenzelm |
misc cleanup of auto_solve and quickcheck:
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 22:23:33 +0200 |
wenzelm |
fixed header;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 20:40:25 +0200 |
wenzelm |
superficial tuning;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2009 12:25:52 +1100 |
Timothy Bourke |
Limit the number of results returned by auto_solves.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 14:45:23 +0100 |
wenzelm |
replaced archaic Display.pretty_fact by FindTheorems.pretty_thm, which observes the context properly (as did the former prt_fact already);
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 16:54:49 +0100 |
wenzelm |
observe some Isabelle/ML coding conventions;
|
file |
diff |
annotate
|
| Thu, 19 Feb 2009 23:55:10 +1100 |
kleing |
half auto_solve default time out; increase manually in PG for large projects
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 16:03:10 +1100 |
kleing |
Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
|
file |
diff |
annotate
|