
diff -r 03e6d5db883e -r 468809a52c9f src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Wed Sep 08 12:41:04 2010 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Wed Sep 08 16:28:24 2010 +0200
@@ -70,10 +70,11 @@
 use_thy "Knowledge/LinEq"
 use_thy "Knowledge/Root"
 use_thy "Knowledge/RootEq"
+use_thy "Knowledge/RatEq"
+use_thy "Knowledge/RootRat"
+use_thy "Knowledge/RootRatEq"
 
-
-use_thy "Knowledge/RatEq"
-
+use_thy "Knowledge/PolyEq"
 
 ML {* 
 *}
@@ -81,9 +82,6 @@
 
 text {*------------------------------------------*}
 (*
-use_thy "Knowledge/RootRat"
-use_thy "Knowledge/RootRatEq"
-use_thy "Knowledge/PolyEq"
 use_thy "Knowledge/Vect"
 use_thy "Knowledge/Calculus"
 use_thy "Knowledge/Trig"




