1.1 --- a/test/Tools/isac/Test_Isac.thy Tue Mar 13 15:04:09 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Mar 14 10:59:36 2012 +0100
1.3 @@ -158,7 +158,7 @@
1.4 use "Knowledge/lineq.sml" (*new 2011*) (*part.*)
1.5 (*use "Knowledge/rooteq.sml" 2002*)
1.6 (*use "Knowledge/rateq.sml" 2002*)
1.7 - use "Knowledge/rootrat.sml"
1.8 + use "Know1ledge/rootrat.sml"
1.9 (*use "Knowledge/rootrateq.sml" 2002*)
1.10 use "Knowledge/partial_fractions.sml"
1.11 use "Knowledge/polyeq.sml"
1.12 @@ -169,7 +169,7 @@
1.13 use "Knowledge/diff.sml" (*part.*)
1.14 use "Knowledge/integrate.sml" (*part. was complete 2009-2
1.15 diff.emacs--jedit*)
1.16 - use "Knowledge/eqsystem.sml" (*part.*)
1.17 + use "Knowledge/eqsystem.sml"
1.18 use "Knowledge/test.sml"
1.19 use "Knowledge/polyminus.sml"
1.20 use "Knowledge/vect.sml"