boehmes [Wed, 23 Mar 2011 15:33:17 +0100] rev 42075
Z3 non-commercial usage may explicitly be declined
boehmes [Wed, 23 Mar 2011 14:29:29 +0100] rev 42074
export status function to query whether Z3 has been activated for usage within Isabelle
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