1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Jul 18 09:50:15 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Jul 18 15:20:04 2011 +0200
     1.3 @@ -240,8 +240,8 @@
     1.4    use "Knowledge/integrate.sml"      (*part. was complete 2009-2
     1.5                                                diff.emacs--jedit*)
     1.6  (*use "Knowledge/eqsystem.sml"         2002*)
     1.7 -  use "Knowledge/test.sml"           (*new 2011*)
     1.8 -  use "Knowledge/polyminus.sml"      (*part.*)
     1.9 +  use "Knowledge/test.sml"           (*complete*)
    1.10 +  use "Knowledge/polyminus.sml"      (*complete*)
    1.11  (*use "Knowledge/vect.sml"             2002*)
    1.12  (*use "Knowledge/diffapp.sml"          2002*)
    1.13  (*use "Knowledge/biegelinie.sml"       2002*)