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