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