1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri Mar 20 19:31:55 2020 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Mar 23 13:31:29 2020 +0100
     1.3 @@ -73,8 +73,10 @@
     1.4  *)        "Interpret/Interpret"
     1.5  (*
     1.6    theory MathEngine imports "~~/src/Tools/isac/Interpret/Interpret"
     1.7 +    ML_file "fetch-tactics.sml"
     1.8      ML_file solve.sml
     1.9      ML_file step.sml
    1.10 +    ML_file "detail-step.sml"
    1.11      ML_file "mathengine-stateless.sml"
    1.12      ML_file messages.sml
    1.13      ML_file states.sml