--- a/src/HOL/ex/Mirabelle/etc/settings	Mon Aug 17 10:59:12 2009 +0200
+++ b/src/HOL/ex/Mirabelle/etc/settings	Fri Aug 21 09:44:55 2009 +0200
@@ -1,3 +1,8 @@
 MIRABELLE_HOME="$COMPONENT"
 
-ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/mirabelle"
+MIRABELLE_LOGIC=HOL
+MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
+MIRABELLE_TIMEOUT=30
+MIRABELLE_VERBOSE=false
+
+ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"