1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Sep 08 12:41:04 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Sep 08 16:28:24 2010 +0200
     1.3 @@ -70,10 +70,11 @@
     1.4  use_thy "Knowledge/LinEq"
     1.5  use_thy "Knowledge/Root"
     1.6  use_thy "Knowledge/RootEq"
     1.7 +use_thy "Knowledge/RatEq"
     1.8 +use_thy "Knowledge/RootRat"
     1.9 +use_thy "Knowledge/RootRatEq"
    1.10  
    1.11 -
    1.12 -use_thy "Knowledge/RatEq"
    1.13 -
    1.14 +use_thy "Knowledge/PolyEq"
    1.15  
    1.16  ML {* 
    1.17  *}
    1.18 @@ -81,9 +82,6 @@
    1.19  
    1.20  text {*------------------------------------------*}
    1.21  (*
    1.22 -use_thy "Knowledge/RootRat"
    1.23 -use_thy "Knowledge/RootRatEq"
    1.24 -use_thy "Knowledge/PolyEq"
    1.25  use_thy "Knowledge/Vect"
    1.26  use_thy "Knowledge/Calculus"
    1.27  use_thy "Knowledge/Trig"