1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri Feb 07 13:03:11 2020 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sat Feb 08 12:41:27 2020 +0100
     1.3 @@ -66,13 +66,15 @@
     1.4    theory Interpret imports "~~/src/Tools/isac/Specify/Specify"
     1.5      ML_file istate.sml
     1.6      ML_file rewtools.sml
     1.7 -    ML_file script.sml
     1.8 +    ML_file "li-tool.sml"
     1.9      ML_file inform.sml
    1.10      ML_file "lucas-interpreter.sml"
    1.11 +    ML_file "step-solve.sml"
    1.12  *)        "Interpret/Interpret"
    1.13  (*
    1.14    theory MathEngine imports "~~/src/Tools/isac/Interpret/Interpret"
    1.15      ML_file solve.sml
    1.16 +    ML_file step.sml
    1.17      ML_file "mathengine-stateless.sml"
    1.18      ML_file messages.sml
    1.19      ML_file states.sml