1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Sep 14 15:46:56 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Sep 23 08:43:36 2010 +0200
     1.3 @@ -88,5 +88,12 @@
     1.4  ML {* check_guhs_unique := false; *}
     1.5  ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *}
     1.6  
     1.7 +
     1.8 +(*
     1.9 +use "../../../test/Tools/isac/Interpret/calchead.sml" (*part.*)
    1.10 +*** get_pbt not found: ["linear","system"]
    1.11 +use"../../../test/Tools/isac/Knowledge/integrate.sml";
    1.12 +*)
    1.13 +
    1.14  end
    1.15