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
wenzelm@41308
     1
# -*- shell-script -*- :mode=shellscript:
wenzelm@41308
     2
boehmes@32381
     3
MIRABELLE_HOME="$COMPONENT"
boehmes@32381
     4
boehmes@32382
     5
MIRABELLE_LOGIC=HOL
boehmes@32385
     6
MIRABELLE_THEORY=Main
boehmes@32382
     7
MIRABELLE_TIMEOUT=30
boehmes@32382
     8
wenzelm@41308
     9
ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"