1.1 --- a/test/Tools/isac/Test_Some.thy	Sun May 04 14:02:23 2014 +0200
     1.2 +++ b/test/Tools/isac/Test_Some.thy	Sun May 04 14:37:28 2014 +0200
     1.3 @@ -1,6 +1,5 @@
     1.4  theory Test_Some imports Build_Thydata begin 
     1.5 -ML_file "~~/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml"
     1.6 -ML_file "xmlsrc/thy-hierarchy.sml"
     1.7 +ML_file "Interpret/mathengine.sml" (*ERROR here, OK in Test_Isac.thy*)
     1.8  
     1.9  section {* code for copy & paste ===============================================================*}
    1.10  ML {*