1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Mar 14 17:12:43 2012 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Mar 17 11:06:46 2012 +0100
     1.3 @@ -156,8 +156,8 @@
     1.4  (*use "Knowledge/equation.sml"         2002*)
     1.5  (*use "Knowledge/root.sml"             2002*)
     1.6    use "Knowledge/lineq.sml"          (*new 2011*)         (*part.*)
     1.7 -(*use "Knowledge/rooteq.sml"           2002*)
     1.8 -(*use "Knowledge/rateq.sml"            2002*)
     1.9 +(*use "Knowledge/rooteq.sml"    some complicated equations not recovered from 2002*)
    1.10 +  use "Knowledge/rateq.sml"   (*some complicated equations not recovered from 2002*)
    1.11    use "Knowledge/rootrat.sml"
    1.12   use "Knowledge/rootrateq.sml"(*some complicated equations not recovered from 2002*)
    1.13    use "Knowledge/partial_fractions.sml"