1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Jul 21 12:01:56 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Jul 22 14:01:09 2011 +0200
     1.3 @@ -164,13 +164,13 @@
     1.4    use "Knowledge/diff.sml"           (*part.*)
     1.5    use "Knowledge/integrate.sml"      (*part. was complete 2009-2
     1.6                                                diff.emacs--jedit*)
     1.7 -(*use "Knowledge/eqsystem.sml"         2002*)
     1.8 +  use "Knowledge/eqsystem.sml"       (*part.*)
     1.9    use "Knowledge/test.sml"           (*complete*)
    1.10    use "Knowledge/polyminus.sml"      (*part.*)
    1.11 -(*use "Knowledge/vect.sml"             2002*)
    1.12 -(*use "Knowledge/diffapp.sml"          2002*)
    1.13 -(*use "Knowledge/biegelinie.sml"       2002*)
    1.14 -(*use "Knowledge/algein.sml"           2002*)
    1.15 +  use "Knowledge/vect.sml"           (*complete*)
    1.16 +  use "Knowledge/diffapp.sml"        (*part.*)
    1.17 +  use "Knowledge/biegelinie.sml"     (*part.*)
    1.18 +  use "Knowledge/algein.sml"         (*part.*)
    1.19    use "Knowledge/diophanteq.sml"     (*complete*)
    1.20    use "Knowledge/isac.sml"           (*part.*)
    1.21    ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}