1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Dec 06 08:45:16 2015 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Dec 07 09:52:54 2015 +0100
     1.3 @@ -13,16 +13,19 @@
     1.4  
     1.5  theory Build_Isac 
     1.6  imports Complex_Main
     1.7 -(* use    "library.sml"
     1.8 -   use    "calcelems.sml"                                        
     1.9 -
    1.10 -   use    "ProgLang/termC.sml"
    1.11 -   use    "ProgLang/calculate.sml"
    1.12 -   use    "ProgLang/rewrite.sml"
    1.13 -  "use_thy ProgLang/ListC"
    1.14 -  "use_thy ProgLang/Tools"                                                 
    1.15 -  "use_thy ProgLang/Script"
    1.16 -   use    "ProgLang/scrtools.sml"
    1.17 +(* structure inherited from migration which began with Isabelle2009. improve?
    1.18 +          theory KEStore
    1.19 +            ML_file "~~/src/Tools/isac/library.sml"
    1.20 +            ML_file "~~/src/Tools/isac/calcelems.sml"
    1.21 +        theory ListC 
    1.22 +          imports Complex_Main "~~/src/Tools/isac/KEStore"
    1.23 +          ML_file "~~/src/Tools/isac/ProgLang/termC.sml"
    1.24 +          ML_file "~~/src/Tools/isac/ProgLang/calculate.sml"
    1.25 +          ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
    1.26 +      theory Tools imports ListC begin
    1.27 +    theory Script imports Tools begin
    1.28 +  theory ProgLang imports Script
    1.29 +    ML_file "~~/src/Tools/isac/ProgLang/scrtools.sml"
    1.30  *)        "ProgLang/ProgLang"
    1.31  
    1.32  (* use    "Interpret/mstools.sml"