1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Sep 13 18:37:16 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Sep 14 12:12:42 2010 +0200
     1.3 @@ -85,8 +85,10 @@
     1.4    use_thy "Knowledge/Test"
     1.5  *)
     1.6  use_thy "Knowledge/Isac"
     1.7 -check_guhs_unique := false;
     1.8 +ML {* check_guhs_unique := false; *}
     1.9  ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *}
    1.10  
    1.11 +use "../../../test/Tools/isac/Interpret/calchead.sml"
    1.12 +
    1.13  end
    1.14