1.1 --- a/test/Tools/isac/Test_Isac.thy	Sat Aug 24 17:41:40 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 26 10:52:54 2013 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4    "ADDTESTS/file-depend/BuildC_Test"
     1.5    "ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform"
     1.6    "~~/test/Pure/Isar/Test_Parsers"
     1.7 -(*"~~/test/Pure/Isar/Pure/Isar/Struct_Deriv" update 2009-2-->2011*)
     1.8 +(*"~~/test/Pure/Isar/Pure/Isar/Struct_Deriv" lost at update 2009-2-->2011*)
     1.9    "~~/test/Pure/Isar/Test_Parse_Term"
    1.10    "~~/test/HOL/Library/Test_Polynomial"
    1.11  
    1.12 @@ -121,7 +121,7 @@
    1.13    ML_file "Knowledge/rootrat.sml"
    1.14    ML_file "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
    1.15    ML_file "Knowledge/partial_fractions.sml"
    1.16 -  ML_file "Knowledge/polyeq.sml"
    1.17 +(*ML_file "Knowledge/polyeq.sml"   -----------------works if cut into parts !!!!!!!!!!!*)
    1.18  (*ML_file "Knowledge/rlang.sml"     much to clean up, not urgent due to similar tests  *)
    1.19    ML_file "Knowledge/calculus.sml"
    1.20    ML_file "Knowledge/trig.sml"