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