src/HOL/Mirabelle/etc/settings
author hoelzl
Tue Mar 26 12:20:58 2013 +0100 (2013-03-26)
changeset 51526 155263089e7b
parent 42069 6a147393c62a
permissions -rw-r--r--
move SEQ.thy and Lim.thy to Limits.thy
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     3 MIRABELLE_HOME="$COMPONENT"
     4 
     5 MIRABELLE_LOGIC=HOL
     6 MIRABELLE_THEORY=Main
     7 MIRABELLE_TIMEOUT=30
     8 
     9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"