1.1 --- a/test/Tools/isac/Test_Isac.thy Sat Mar 17 11:06:46 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Sat Mar 17 12:52:30 2012 +0100
1.3 @@ -151,18 +151,18 @@
1.4 use "Knowledge/descript.sml"
1.5 (*use "Knowledge/atools.sml" 2002, added termorder.sml 2011*)
1.6 use "Knowledge/simplify.sml" (*part.*)
1.7 -(*use "Knowledge/poly.sml" 2002*)
1.8 -(*use "Knowledge/rational.sml" part.; diff.emacs--jedit*)
1.9 -(*use "Knowledge/equation.sml" 2002*)
1.10 -(*use "Knowledge/root.sml" 2002*)
1.11 - use "Knowledge/lineq.sml" (*new 2011*) (*part.*)
1.12 -(*use "Knowledge/rooteq.sml" some complicated equations not recovered from 2002*)
1.13 - use "Knowledge/rateq.sml" (*some complicated equations not recovered from 2002*)
1.14 + use "Knowledge/poly.sml"
1.15 +(*use "Knowledge/rational.sml" WN120317.TODO postponed to joint work with dmeind*)
1.16 + use "Knowledge/equation.sml"
1.17 + use "Knowledge/root.sml"
1.18 + use "Knowledge/lineq.sml"
1.19 +(*use "Knowledge/rooteq.sml" some complicated equations not recovered from 2002 *)
1.20 + use "Knowledge/rateq.sml" (*some complicated equations not recovered from 2002 *)
1.21 use "Knowledge/rootrat.sml"
1.22 - use "Knowledge/rootrateq.sml"(*some complicated equations not recovered from 2002*)
1.23 + use "Knowledge/rootrateq.sml"(*some complicated equations not recovered from 2002 *)
1.24 use "Knowledge/partial_fractions.sml"
1.25 use "Knowledge/polyeq.sml"
1.26 -(*use "Knowledge/rlang.sml" much cleaning required, not urgent due to other tests*)
1.27 +(*use "Knowledge/rlang.sml" much to clean up, not urgent due to other tests *)
1.28 use "Knowledge/calculus.sml"
1.29 use "Knowledge/trig.sml"
1.30 (*use "Knowledge/logexp.sml" not included as stuff for presentation of authoring*)