blanchet [Mon, 25 Oct 2010 09:29:43 +0200] rev 40115
make "sledgehammer_params" work on single-threaded platforms
blanchet [Fri, 22 Oct 2010 18:31:45 +0200] rev 40114
tuning
blanchet [Fri, 22 Oct 2010 18:24:10 +0200] rev 40113
handle timeouts (to prevent failure from other threads);
removed needless functions;
added "metis" to the mix
haftmann [Mon, 25 Oct 2010 12:11:12 +0200] rev 40112
update keywords
krauss [Mon, 25 Oct 2010 10:45:22 +0200] rev 40111
some partial_function examples
wenzelm [Mon, 25 Oct 2010 11:16:23 +0200] rev 40110
added ML antiquotation @{assert};
wenzelm [Mon, 25 Oct 2010 11:01:00 +0200] rev 40109
updated keywords;
krauss [Sat, 23 Oct 2010 23:42:04 +0200] rev 40108
integrated partial_function into HOL-Plain
krauss [Sat, 23 Oct 2010 23:41:19 +0200] rev 40107
first version of partial_function package
krauss [Sat, 23 Oct 2010 23:39:37 +0200] rev 40106
Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem