1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Jan 19 16:38:07 2020 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Jan 20 11:11:56 2020 +0100
     1.3 @@ -42,12 +42,14 @@
     1.4      ML_file model.sml
     1.5      ML_file mstools.sml
     1.6      ML_file "specification-elems.sml"
     1.7 -    ML_file istate.sml
     1.8 +    ML_file "istate-def.sml"
     1.9      ML_file tactic.sml
    1.10 +    ML_file position.sml
    1.11      ML_file "ctree-basic.sml"
    1.12      ML_file "ctree-access.sml"
    1.13      ML_file "ctree-navi.sml"
    1.14      ML_file ctree.sml
    1.15 +    ML_file calculation.sml
    1.16  *)        "MathEngBasic/MathEngBasic"
    1.17  (*
    1.18      theory Input_Descript imports "~~/src/Tools/isac/CalcElements/CalcElements"
    1.19 @@ -56,9 +58,12 @@
    1.20      ML_file generate.sml
    1.21      ML_file calchead.sml
    1.22      ML_file appl.sml
    1.23 +    ML_file "step-specify.sml"
    1.24 +    ML_file specify.sml
    1.25  *)        "Specify/Specify"
    1.26  (*
    1.27    theory Interpret imports "~~/src/Tools/isac/Specify/Specify"
    1.28 +    ML_file istate.sml
    1.29      ML_file rewtools.sml
    1.30      ML_file script.sml
    1.31      ML_file inform.sml