1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Sep 08 16:54:15 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Sep 08 17:17:29 2010 +0200
     1.3 @@ -77,8 +77,9 @@
     1.4  use_thy "Knowledge/Vect"
     1.5  use_thy "Knowledge/Calculus"
     1.6  use_thy "Knowledge/Trig"
     1.7 +use_thy "Knowledge/LogExp"
     1.8  
     1.9 -use_thy "Knowledge/LogExp"
    1.10 +use_thy "Knowledge/Diff"
    1.11  
    1.12  ML {* 
    1.13  *}
    1.14 @@ -86,7 +87,6 @@
    1.15  
    1.16  text {*------------------------------------------*}
    1.17  (*
    1.18 -use_thy "Knowledge/Diff"
    1.19  use_thy "Knowledge/DiffApp"
    1.20  use_thy "Knowledge/Integrate"
    1.21  use_thy "Knowledge/EqSystem"