1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Feb 07 15:00:37 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Feb 08 12:49:52 2018 +0100
     1.3 @@ -122,13 +122,16 @@
     1.4    ML_file          "kestore.sml"        (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)
     1.5    ---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------*)
     1.6    ML_file "ProgLang/termC.sml"
     1.7 +(*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------
     1.8 +  ML_file "ProgLang/calculate.sml"      (* requires setup from calculate.thy *)
     1.9 +  ---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------*)
    1.10 +
    1.11  ML {*
    1.12  *} ML {*
    1.13  *} ML {*
    1.14  *}
    1.15 +  ML_file "ProgLang/rewrite.sml"
    1.16  (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------
    1.17 -  ML_file "ProgLang/calculate.sml"      (* requires setup from calculate.thy *)
    1.18 -  ML_file "ProgLang/rewrite.sml"
    1.19    ML_file "ProgLang/listC.sml"
    1.20    ML_file "ProgLang/scrtools.sml"
    1.21    ML_file "ProgLang/tools.sml"