1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Thu Sep 29 18:02:10 2022 +0200
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Fri Oct 07 20:46:48 2022 +0200
1.3 @@ -184,7 +184,7 @@
1.4 ML_file "BaseDefinitions/calcelems.sml"
1.5 ML_file "BaseDefinitions/termC.sml"
1.6 ML_file "BaseDefinitions/substitution.sml"
1.7 - ML_file "BaseDefinitions/contextC.sml" (*!!!!! sometimes evaluates if separated into ML blocks*)
1.8 + ML_file "BaseDefinitions/contextC.sml"(*sometimes needs separation into ML blocks for evaluation*)
1.9 ML_file "BaseDefinitions/environment.sml"
1.10 (**)ML_file "BaseDefinitions/kestore.sml"(*setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)
1.11 (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------