
diff -r 2d97d160a183 -r 54d17d6d4245 test/Tools/isac/Test_Isac_Short.thy
--- a/test/Tools/isac/Test_Isac_Short.thy	Mon Sep 13 16:01:48 2021 +0200
+++ b/test/Tools/isac/Test_Isac_Short.thy	Tue Sep 14 12:22:57 2021 +0200
@@ -293,6 +293,18 @@
   ML_file "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
 (*ML_file "Knowledge/partial_fractions.sml"  hangs with ML_system_64 = "true"---Test_Isac_Short*)
   ML_file "Knowledge/polyeq-1.sml"
+ML \<open>
+\<close> ML \<open>                                                                
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close>
 (*ML_file "Knowledge/polyeq-2.sml"                                              Test_Isac_Short*)
 (*ML_file "Knowledge/rlang.sml"     much to clean up, similar tests in other files     *)
   ML_file "Knowledge/calculus.sml"




