1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Apr 22 11:06:48 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 22 11:23:30 2020 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4  *)        "BaseDefinitions/BaseDefinitions"
     1.5  
     1.6  (*    theory Calculate imports "~~/src/Tools/isac/BaseDefinitions/BaseDefinitions"
     1.7 -        ML_file calculate.sml
     1.8 +        ML_file evaluate.sml
     1.9  
    1.10        theory ListC imports "~~/src/Tools/isac/BaseDefinitions/BaseDefinitions"
    1.11      theory Prog_Expr imports Calculate ListC
    1.12 @@ -123,7 +123,7 @@
    1.13  \<close> ML \<open>
    1.14  \<close> ML \<open>
    1.15  \<close>
    1.16 -ML \<open>Eval.adhoc_thm; (*from "ProgLang/calculate.sml" *)\<close>
    1.17 +ML \<open>Eval.adhoc_thm; (*from "ProgLang/evaluate.sml" *)\<close>
    1.18  ML \<open>Rewrite.rewrite_; (*from "ProgLang/rewrite.sml" *)\<close>
    1.19  ML \<open>Input_Descript.is_reall_dsc; (*from "ProgLang/scrtools.sml" *)\<close>
    1.20  ML \<open>Test_Code.me;\<close>