1 MIRABELLE_HOME="$COMPONENT"
2
3 MIRABELLE_LOGIC=HOL
4 MIRABELLE_THEORY=Main
5 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
6 MIRABELLE_TIMEOUT=30
7
8 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"