1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Feb 13 15:14:55 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Feb 13 15:25:16 2018 +0100
     1.3 @@ -203,9 +203,9 @@
     1.4  *} ML {*
     1.5  *}
     1.6  
     1.7 -(*---------------------- check test file by testfile -------------------------------------------
     1.8    ML_file "Knowledge/gcd_poly_ml.sml"
     1.9    ML_file "Knowledge/gcd_poly_winkler.sml" (*must be after gcd_poly_ml.sml: redefines functions*)
    1.10 +(*---------------------- check test file by testfile -------------------------------------------
    1.11    ML_file "Knowledge/rational.sml"
    1.12    ML_file "Knowledge/equation.sml"
    1.13    ML_file "Knowledge/root.sml"