1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Sep 14 12:12:42 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Sep 14 15:46:56 2010 +0200
     1.3 @@ -82,13 +82,11 @@
     1.4    use_thy "Knowledge/EqSystem"
     1.5    use_thy "Knowledge/Biegelinie"
     1.6    use_thy "Knowledge/AlgEin"
     1.7 -  use_thy "Knowledge/Test"
     1.8  *)
     1.9 +  use_thy "Knowledge/Test" (*required _only_ for ROOT.ML !?!*)
    1.10  use_thy "Knowledge/Isac"
    1.11  ML {* check_guhs_unique := false; *}
    1.12  ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *}
    1.13  
    1.14 -use "../../../test/Tools/isac/Interpret/calchead.sml"
    1.15 -
    1.16  end
    1.17