blanchet [Wed, 23 Mar 2011 10:38:50 +0100] rev 42073
merge
blanchet [Wed, 23 Mar 2011 10:18:42 +0100] rev 42072
avoid illegal variable names, which then yield "Not an identifier" errors in "rename_tac"
blanchet [Wed, 23 Mar 2011 10:06:27 +0100] rev 42071
move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex"
default to "e" rather than "vampire" since E is part of the Isabelle bundle
boehmes [Wed, 23 Mar 2011 10:21:29 +0100] rev 42070
really be quiet
krauss [Wed, 23 Mar 2011 09:15:49 +0100] rev 42069
replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH
wenzelm [Tue, 22 Mar 2011 21:22:50 +0100] rev 42068
merged
hoelzl [Tue, 22 Mar 2011 20:06:10 +0100] rev 42067
standardized headers
hoelzl [Tue, 22 Mar 2011 18:53:05 +0100] rev 42066
generalized Caratheodory from algebra to ring_of_sets
hoelzl [Tue, 22 Mar 2011 16:44:57 +0100] rev 42065
add ring_of_sets and subset_class as basis for algebra
blanchet [Tue, 22 Mar 2011 19:04:32 +0100] rev 42064
added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter