src/HOL/Mutabelle/etc/settings
author huffman
Fri Aug 19 14:17:28 2011 -0700 (2011-08-19)
changeset 44311 42c5cbf68052
parent 42119 21714b0de625
child 46453 9e83b7c24b05
permissions -rw-r--r--
Transcendental.thy: add tendsto_intros lemmas;
new isCont theorems;
simplify some proofs.
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     3 MUTABELLE_HOME="$COMPONENT"
     4 
     5 MUTABELLE_LOGIC=HOL
     6 MUTABELLE_IMPORT_THEORY=Complex_Main
     7 
     8 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"