1.1 --- a/src/Tools/isac/Interpret/Interpret.thy	Thu Oct 06 17:03:44 2016 +0200
     1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy	Mon Oct 10 18:24:14 2016 +0200
     1.3 @@ -17,4 +17,7 @@
     1.4    ML_file "~~/src/Tools/isac/Interpret/solve.sml"
     1.5    ML_file "~~/src/Tools/isac/Interpret/inform.sml"
     1.6    ML_file "~~/src/Tools/isac/Interpret/mathengine.sml"
     1.7 +ML {*
     1.8 +*} ML {*
     1.9 +*}
    1.10  end
    1.11 \ No newline at end of file