src/Tools/auto_solve.ML
Wed, 22 Sep 2010 18:21:48 +0200 wenzelm renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
Sat, 11 Sep 2010 12:32:31 +0200 blanchet make Auto Solve part of the "Auto Tools"
Sun, 05 Sep 2010 23:26:16 +0200 wenzelm use setmp_noncritical for sequential Pure bootstrap;
Tue, 24 Nov 2009 17:19:33 +0100 wenzelm some rearangement of load order to keep preferences adjacent -- slightly fragile;
Thu, 29 Oct 2009 11:56:02 +0100 wenzelm less hermetic ML;
Wed, 28 Oct 2009 22:02:53 +0100 wenzelm renamed Proof.flat_goal to Proof.simple_goal;
Sat, 17 Oct 2009 15:57:51 +0200 wenzelm indicate CRITICAL nature of various setmp combinators;
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;
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref;
Mon, 27 Apr 2009 07:26:17 -0700 huffman merged
Sat, 25 Apr 2009 21:28:04 +0200 wenzelm misc cleanup of auto_solve and quickcheck:
Tue, 31 Mar 2009 22:23:33 +0200 wenzelm fixed header;
Tue, 31 Mar 2009 20:40:25 +0200 wenzelm superficial tuning;
Mon, 30 Mar 2009 12:25:52 +1100 Timothy Bourke Limit the number of results returned by auto_solves.
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
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);
Fri, 27 Feb 2009 16:54:49 +0100 wenzelm observe some Isabelle/ML coding conventions;
Thu, 19 Feb 2009 23:55:10 +1100 kleing half auto_solve default time out; increase manually in PG for large projects
Wed, 11 Feb 2009 16:03:10 +1100 kleing Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke
less more (0) tip