1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Sep 05 12:40:23 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Sep 07 10:07:13 2011 +0200
     1.3 @@ -158,7 +158,7 @@
     1.4  (*use "Knowledge/rateq.sml"            2002*)
     1.5  (*use "Knowledge/rootrat.sml"          2002*)
     1.6  (*use "Knowledge/rootrateq.sml"        2002*)
     1.7 -(*use "Knowledge/polyeq.sml"           2002*)
     1.8 +(*use "Knowledge/polyeq.sml"           part. WN110906: problems with comments*)
     1.9  (*use "Knowledge/rlang.sml"            2002???*)
    1.10    use "Knowledge/calculus.sml"       (*new 2011*)
    1.11    use "Knowledge/trig.sml"