diff -r 79b6cbd02681 -r b49723351533 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Mon Sep 13 18:37:16 2010 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Tue Sep 14 12:12:42 2010 +0200
@@ -85,8 +85,10 @@
   use_thy "Knowledge/Test"
 *)
 use_thy "Knowledge/Isac"
-check_guhs_unique := false;
+ML {* check_guhs_unique := false; *}
 ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *}
 
+use "../../../test/Tools/isac/Interpret/calchead.sml"
+
 end