1.1 --- a/test/Tools/isac/Test_Isac.thy Sat Mar 17 13:33:25 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Sat Mar 17 13:43:24 2012 +0100
1.3 @@ -149,7 +149,7 @@
1.4 ML {*"%%%%%%%%%%%%%%%%% start Knowledge.thy %%%%%%%%%%%%%%%%%%";*}
1.5 use "Knowledge/delete.sml"
1.6 use "Knowledge/descript.sml"
1.7 -(*use "Knowledge/atools.sml" 2002, added termorder.sml 2011*)
1.8 + use "Knowledge/atools.sml"
1.9 use "Knowledge/simplify.sml"
1.10 use "Knowledge/poly.sml"
1.11 (*use "Knowledge/rational.sml" WN120317.TODO postponed to joint work with dmeind*)
1.12 @@ -159,7 +159,7 @@
1.13 (*use "Knowledge/rooteq.sml" some complicated equations not recovered from 2002 *)
1.14 use "Knowledge/rateq.sml" (*some complicated equations not recovered from 2002 *)
1.15 use "Knowledge/rootrat.sml"
1.16 - use "Knowledge/rootrateq.sml"(*some complicated equations not recovered from 2002 *)
1.17 + use "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
1.18 use "Knowledge/partial_fractions.sml"
1.19 use "Knowledge/polyeq.sml"
1.20 (*use "Knowledge/rlang.sml" much to clean up, not urgent due to other tests *)