1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Mar 14 11:11:54 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Mar 14 17:12:43 2012 +0100
1.3 @@ -159,16 +159,15 @@
1.4 (*use "Knowledge/rooteq.sml" 2002*)
1.5 (*use "Knowledge/rateq.sml" 2002*)
1.6 use "Knowledge/rootrat.sml"
1.7 -(*use "Knowledge/rootrateq.sml" 2002*)
1.8 + use "Knowledge/rootrateq.sml"(*some complicated equations not recovered from 2002*)
1.9 use "Knowledge/partial_fractions.sml"
1.10 use "Knowledge/polyeq.sml"
1.11 -(*use "Knowledge/rlang.sml" 2002???*)
1.12 +(*use "Knowledge/rlang.sml" much cleaning required, not urgent due to other tests*)
1.13 use "Knowledge/calculus.sml"
1.14 use "Knowledge/trig.sml"
1.15 -(*use "Knowledge/logexp.sml" not included as stuff for presentation of authoring*)
1.16 - use "Knowledge/diff.sml" (*part.*)
1.17 - use "Knowledge/integrate.sml" (*part. was complete 2009-2
1.18 - diff.emacs--jedit*)
1.19 +(*use "Knowledge/logexp.sml" not included as stuff for presentation of authoring*)
1.20 + use "Knowledge/diff.sml"
1.21 + use "Knowledge/integrate.sml"
1.22 use "Knowledge/eqsystem.sml"
1.23 use "Knowledge/test.sml"
1.24 use "Knowledge/polyminus.sml"