1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Feb 13 16:17:59 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Feb 14 06:06:27 2018 +0100
     1.3 @@ -195,6 +195,15 @@
     1.4    ML_file "Knowledge/atools.sml"
     1.5    ML_file "Knowledge/simplify.sml"
     1.6    ML_file "Knowledge/poly.sml"
     1.7 +  ML_file "Knowledge/gcd_poly_ml.sml"
     1.8 +  ML_file "Knowledge/gcd_poly_winkler.sml" (*must be after gcd_poly_ml.sml: redefines functions*)
     1.9 +  ML_file "Knowledge/rational.sml"
    1.10 +  ML_file "Knowledge/equation.sml"
    1.11 +  ML_file "Knowledge/root.sml"
    1.12 +  ML_file "Knowledge/lineq.sml"
    1.13 +(*ML_file "Knowledge/rooteq.sml"    some complicated equations not recovered from 2002 *)
    1.14 +  ML_file "Knowledge/rateq.sml"   (*some complicated equations not recovered from 2002 *)
    1.15 +  ML_file "Knowledge/rootrat.sml"
    1.16  
    1.17  ML {*
    1.18  "~~~~~ fun xxx, args:"; val () = ();
    1.19 @@ -203,17 +212,8 @@
    1.20  *} ML {*
    1.21  *}
    1.22  
    1.23 -  ML_file "Knowledge/gcd_poly_ml.sml"
    1.24 -  ML_file "Knowledge/gcd_poly_winkler.sml" (*must be after gcd_poly_ml.sml: redefines functions*)
    1.25 -  ML_file "Knowledge/rational.sml"
    1.26 +  ML_file "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
    1.27  (*---------------------- check test file by testfile -------------------------------------------
    1.28 -  ML_file "Knowledge/equation.sml"
    1.29 -  ML_file "Knowledge/root.sml"
    1.30 -  ML_file "Knowledge/lineq.sml"
    1.31 -(*ML_file "Knowledge/rooteq.sml"    some complicated equations not recovered from 2002 *)
    1.32 -  ML_file "Knowledge/rateq.sml"   (*some complicated equations not recovered from 2002 *)
    1.33 -  ML_file "Knowledge/rootrat.sml"
    1.34 -  ML_file "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
    1.35    ML_file "Knowledge/partial_fractions.sml"
    1.36    ML_file "Knowledge/polyeq.sml"
    1.37  (*ML_file "Knowledge/rlang.sml"     much to clean up, similar tests in other files     *)