1.1 --- a/src/Tools/isac/Build_Test_Isac.thy	Mon Sep 27 13:35:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Test_Isac.thy	Tue Sep 28 07:28:10 2010 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  use "calcelems.sml"
     1.5  ML {* check_guhs_unique := true *}
     1.6  
     1.7 -use "ProgLang/term.sml"
     1.8 +use "ProgLang/termC.sml"
     1.9  use "ProgLang/calculate.sml"
    1.10  use "ProgLang/rewrite.sml"
    1.11  use_thy"ProgLang/Script"    (*ListC, Tools, Script*)