1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Nov 06 15:08:27 2019 +0100
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Nov 06 18:34:29 2019 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4    theory CalcElements imports KEStore
     1.5      ML_file termC.sml
     1.6      ML_file contextC.sml
     1.7 +    ML_file environment.sml
     1.8  *)        "CalcElements/CalcElements"
     1.9  
    1.10  (*    theory Calculate imports "~~/src/Tools/isac/CalcElements/CalcElements"