
diff -r cdf6251b7df3 -r 23c143ffb22f src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Sun Jan 19 16:38:07 2020 +0100
+++ b/src/Tools/isac/Build_Isac.thy	Mon Jan 20 11:11:56 2020 +0100
@@ -42,12 +42,14 @@
     ML_file model.sml
     ML_file mstools.sml
     ML_file "specification-elems.sml"
-    ML_file istate.sml
+    ML_file "istate-def.sml"
     ML_file tactic.sml
+    ML_file position.sml
     ML_file "ctree-basic.sml"
     ML_file "ctree-access.sml"
     ML_file "ctree-navi.sml"
     ML_file ctree.sml
+    ML_file calculation.sml
 *)        "MathEngBasic/MathEngBasic"
 (*
     theory Input_Descript imports "~~/src/Tools/isac/CalcElements/CalcElements"
@@ -56,9 +58,12 @@
     ML_file generate.sml
     ML_file calchead.sml
     ML_file appl.sml
+    ML_file "step-specify.sml"
+    ML_file specify.sml
 *)        "Specify/Specify"
 (*
   theory Interpret imports "~~/src/Tools/isac/Specify/Specify"
+    ML_file istate.sml
     ML_file rewtools.sml
     ML_file script.sml
     ML_file inform.sml




