1.1 --- a/test/Tools/isac/Test_Isac.thy Sat Mar 17 12:52:30 2012 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Sat Mar 17 13:33:25 2012 +0100
1.3 @@ -150,7 +150,7 @@
1.4 use "Knowledge/delete.sml"
1.5 use "Knowledge/descript.sml"
1.6 (*use "Knowledge/atools.sml" 2002, added termorder.sml 2011*)
1.7 - use "Knowledge/simplify.sml" (*part.*)
1.8 + use "Knowledge/simplify.sml"
1.9 use "Knowledge/poly.sml"
1.10 (*use "Knowledge/rational.sml" WN120317.TODO postponed to joint work with dmeind*)
1.11 use "Knowledge/equation.sml"