1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Sep 08 17:49:36 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Sep 08 17:55:08 2010 +0200
     1.3 @@ -79,8 +79,9 @@
     1.4  use_thy "Knowledge/Trig"
     1.5  use_thy "Knowledge/LogExp"
     1.6  use_thy "Knowledge/Diff"
     1.7 +use_thy "Knowledge/DiffApp"
     1.8  
     1.9 -use_thy "Knowledge/DiffApp"
    1.10 +use_thy "Knowledge/Integrate"
    1.11  
    1.12  ML {* 111;
    1.13  *}
    1.14 @@ -88,7 +89,6 @@
    1.15  
    1.16  text {*------------------------------------------*}
    1.17  (*
    1.18 -use_thy "Knowledge/Integrate"
    1.19  use_thy "Knowledge/EqSystem"
    1.20  use_thy "Knowledge/Biegelinie"
    1.21  use_thy "Knowledge/AlgEin"