1.1 --- a/src/HOL/Tools/Mirabelle/etc/settings	Wed Sep 02 16:02:37 2009 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,8 +0,0 @@
     1.4 -MIRABELLE_HOME="$COMPONENT"
     1.5 -
     1.6 -MIRABELLE_LOGIC=HOL
     1.7 -MIRABELLE_THEORY=Main
     1.8 -MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
     1.9 -MIRABELLE_TIMEOUT=30
    1.10 -
    1.11 -ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"