1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Sep 09 13:39:30 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri Sep 10 10:36:41 2010 +0200
     1.3 @@ -83,8 +83,8 @@
     1.4  use_thy "Knowledge/Integrate"
     1.5  use_thy "Knowledge/EqSystem"
     1.6  use_thy "Knowledge/Biegelinie"
     1.7 -
     1.8  use_thy "Knowledge/AlgEin"
     1.9 +use_thy "Knowledge/Test"
    1.10  
    1.11  ML {* 111;
    1.12  *}
    1.13 @@ -92,7 +92,6 @@
    1.14  
    1.15  text {*------------------------------------------*}
    1.16  (*
    1.17 -use_thy "Knowledge/Test"
    1.18  use_thy "Knowledge/Isac"
    1.19  *)
    1.20  end