1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Sep 08 16:47:22 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Sep 08 16:54:15 2010 +0200
     1.3 @@ -73,8 +73,12 @@
     1.4  use_thy "Knowledge/RatEq"
     1.5  use_thy "Knowledge/RootRat"
     1.6  use_thy "Knowledge/RootRatEq"
     1.7 +use_thy "Knowledge/PolyEq"
     1.8 +use_thy "Knowledge/Vect"
     1.9 +use_thy "Knowledge/Calculus"
    1.10 +use_thy "Knowledge/Trig"
    1.11  
    1.12 -use_thy "Knowledge/PolyEq"
    1.13 +use_thy "Knowledge/LogExp"
    1.14  
    1.15  ML {* 
    1.16  *}
    1.17 @@ -82,10 +86,6 @@
    1.18  
    1.19  text {*------------------------------------------*}
    1.20  (*
    1.21 -use_thy "Knowledge/Vect"
    1.22 -use_thy "Knowledge/Calculus"
    1.23 -use_thy "Knowledge/Trig"
    1.24 -use_thy "Knowledge/LogExp"
    1.25  use_thy "Knowledge/Diff"
    1.26  use_thy "Knowledge/DiffApp"
    1.27  use_thy "Knowledge/Integrate"