1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Tue Apr 20 17:21:08 2021 +0200
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Wed Apr 21 10:04:17 2021 +0200
1.3 @@ -277,7 +277,7 @@
1.4 ML_file "Knowledge/delete.sml"
1.5 ML_file "Knowledge/descript.sml"
1.6 ML_file "Knowledge/simplify.sml"
1.7 -(*ML_file "Knowledge/poly.sml" ONLY ERROR BY REPLACING ^^^ \<rightarrow> \<up> *)
1.8 + ML_file "Knowledge/poly.sml"
1.9 ML_file "Knowledge/gcd_poly_ml.sml"
1.10 ML_file "Knowledge/gcd_poly_winkler.sml" (*must be after gcd_poly_ml.sml: redefines functions*)
1.11 (*ML_file "Knowledge/rational.sml" Test_Isac_Short*)