1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Sep 22 16:52:14 2019 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Sep 26 17:47:10 2019 +0200
     1.3 @@ -60,8 +60,7 @@
     1.4  (*
     1.5    theory MathEngine imports "~~/src/Tools/isac/Interpret/Interpret"
     1.6      ML_file solve.sml
     1.7 -    ML_file mathengine.sml
     1.8 -    ML_file "~~/src/Tools/isac/Frontend/messages.sml"
     1.9 +    ML_file "mathengine-stateless.sml"
    1.10      ML_file messages.sml
    1.11      ML_file states.sml
    1.12  *)        "MathEngine/MathEngine"