1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri Oct 25 16:07:15 2019 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sat Oct 26 13:03:16 2019 +0200
     1.3 @@ -34,17 +34,22 @@
     1.4      ML_file rewrite.sml
     1.5  *)        "ProgLang/ProgLang"
     1.6  (*
     1.7 -    theory Input_Descript imports "~~/src/Tools/isac/CalcElements/CalcElements"
     1.8 -  theory Specify imports "~~/src/Tools/isac/ProgLang/ProgLang" Input_Descript
     1.9 +  theory MathEngBasic imports
    1.10 +    "~~/src/Tools/isac/ProgLang/ProgLang" "~~/src/Tools/isac/Specify/Input_Descript"
    1.11 +    ML_file "calc-tree-elem.sml"
    1.12      ML_file model.sml
    1.13      ML_file mstools.sml
    1.14      ML_file "specification-elems.sml"
    1.15      ML_file istate.sml
    1.16      ML_file tactic.sml
    1.17 -    ML_file "ctree-basic.sml" (*shift to base in common with Interpret*)
    1.18 -    ML_file "ctree-access.sml"(*shift to base in common with Interpret*)
    1.19 -    ML_file "ctree-navi.sml"  (*shift to base in common with Interpret*)
    1.20 -    ML_file ctree.sml         (*shift to base in common with Interpret*)
    1.21 +    ML_file "ctree-basic.sml"
    1.22 +    ML_file "ctree-access.sml"
    1.23 +    ML_file "ctree-navi.sml"
    1.24 +    ML_file ctree.sml
    1.25 +*)        "MathEngBasic/MathEngBasic"
    1.26 +(*
    1.27 +    theory Input_Descript imports "~~/src/Tools/isac/CalcElements/CalcElements"
    1.28 +  theory Specify imports "~~/src/Tools/isac/ProgLang/ProgLang" Input_Descript
    1.29      ML_file ptyps.sml
    1.30      ML_file generate.sml
    1.31      ML_file calchead.sml