1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Apr 22 11:06:48 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Apr 22 11:23:30 2020 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4    "~~/test/Pure/Isar/Test_Parse_Term"
     1.5  (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*)
     1.6    "~~/test/Tools/isac/Interpret/ptyps"       (* setup for ptyps.sml    *)
     1.7 -  "~~/test/Tools/isac/ProgLang/calculate"    (* setup for calculate.sml*)
     1.8 +  "~~/test/Tools/isac/ProgLang/calculate"    (* setup for evaluate.sml*)
     1.9    "~~/test/Tools/isac/Knowledge/integrate"   (* setup for integrate.sml*)
    1.10  (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*)
    1.11    "~~/src/Tools/isac/Knowledge/GCD_Poly_OLD" (*not imported by Isac.thy*)
    1.12 @@ -195,7 +195,7 @@
    1.13    ML_file "BaseDefinitions/kestore.sml"    (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)
    1.14  (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------
    1.15    ---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------*)
    1.16 -  ML_file "ProgLang/calculate.sml"      (* requires setup from calculate.thy                    *)
    1.17 +  ML_file "ProgLang/evaluate.sml"      (* requires setup from calculate.thy                    *)
    1.18    ML_file "ProgLang/listC.sml"
    1.19    ML_file "ProgLang/prog_expr.sml"
    1.20    ML_file "ProgLang/program.sml"