1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Jul 26 16:15:03 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Jul 26 16:50:27 2011 +0200
     1.3 @@ -161,8 +161,8 @@
     1.4  (*use "Knowledge/polyeq.sml"           2002*)
     1.5  (*use "Knowledge/rlang.sml"            2002???*)
     1.6    use "Knowledge/calculus.sml"       (*new 2011*)
     1.7 -(*use "Knowledge/trig.sml"             2002*)
     1.8 -(*use "Knowledge/logexp.sml"           2002*)
     1.9 +  use "Knowledge/trig.sml"           (*complete*)
    1.10 +  use "Knowledge/logexp.sml"         (*part.*) 
    1.11    use "Knowledge/diff.sml"           (*part.*)
    1.12    use "Knowledge/integrate.sml"      (*part. was complete 2009-2
    1.13                                                diff.emacs--jedit*)