1.1 --- a/test/Tools/isac/Test_Isac.thy Fri Oct 14 11:43:00 2011 +0200
1.2 +++ b/test/Tools/isac/Test_Isac.thy Fri Oct 14 14:33:25 2011 +0200
1.3 @@ -158,10 +158,10 @@
1.4 use "Knowledge/lineq.sml" (*new 2011*)
1.5 (*use "Knowledge/rooteq.sml" 2002*)
1.6 (*use "Knowledge/rateq.sml" 2002*)
1.7 -(*use "Knowledge/rootrat.sml" 2002*)
1.8 + use "Knowledge/rootrat.sml"
1.9 (*use "Knowledge/rootrateq.sml" 2002*)
1.10 use "Knowledge/partial_fractions.sml"
1.11 -(*use "Knowledge/polyeq.sml" part. WN110906: problems with comments*)
1.12 + use "Knowledge/polyeq.sml"
1.13 (*use "Knowledge/rlang.sml" 2002???*)
1.14 use "Knowledge/calculus.sml" (*new 2011*)
1.15 use "Knowledge/trig.sml"