1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Apr 14 13:41:48 2015 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Apr 14 14:36:02 2015 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  theory Build_Isac 
     1.5  imports Complex_Main
     1.6  (* use    "library.sml"
     1.7 -   use    "calcelems.sml"
     1.8 +   use    "calcelems.sml"                                        
     1.9  
    1.10     use    "ProgLang/termC.sml"
    1.11     use    "ProgLang/calculate.sml"
    1.12 @@ -28,7 +28,7 @@
    1.13  (* use    "Interpret/mstools.sml"
    1.14     use    "Interpret/ctree.sml"
    1.15     use    "Interpret/ptyps.sml"
    1.16 -   use    "Interpret/generate.sml"
    1.17 +   use    "Interpret/generate.sml"                               
    1.18     use    "Interpret/calchead.sml"
    1.19     use    "Interpret/appl.sml"
    1.20     use    "Interpret/rewtools.sml"