1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Apr 28 16:51:36 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Apr 28 17:50:18 2020 +0200
     1.3 @@ -191,7 +191,7 @@
     1.4  (*called by Know_Store*)
     1.5    ML_file "BaseDefinitions/calcelems.sml"
     1.6    ML_file "BaseDefinitions/termC.sml"
     1.7 -  ML_file substitution.sml
     1.8 +  ML_file "BaseDefinitions/substitution.sml"
     1.9    ML_file "BaseDefinitions/contextC.sml"
    1.10    ML_file "BaseDefinitions/environment.sml"
    1.11    ML_file "BaseDefinitions/kestore.sml"    (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)