1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Sep 23 14:56:14 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Sep 23 16:22:11 2011 +0200
     1.3 @@ -87,6 +87,7 @@
     1.4    ("Knowledge/integrate.sml")
     1.5    ("Knowledge/eqsystem.sml")
     1.6    ("Knowledge/test.sml")
     1.7 +  ("Knowledge/partial_fractions.sml")
     1.8    ("Knowledge/polyminus.sml")
     1.9    ("Knowledge/vect.sml")
    1.10    ("Knowledge/diffapp.sml")
    1.11 @@ -159,6 +160,7 @@
    1.12  (*use "Knowledge/rateq.sml"            2002*)
    1.13  (*use "Knowledge/rootrat.sml"          2002*)
    1.14  (*use "Knowledge/rootrateq.sml"        2002*)
    1.15 +  use "Knowledge/partial_fractions.sml"
    1.16  (*use "Knowledge/polyeq.sml"           part. WN110906: problems with comments*)
    1.17  (*use "Knowledge/rlang.sml"            2002???*)
    1.18    use "Knowledge/calculus.sml"       (*new 2011*)