1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Mon Apr 19 11:45:43 2021 +0200
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Mon Apr 19 15:02:00 2021 +0200
1.3 @@ -197,6 +197,18 @@
1.4 (*called by Know_Store..*)
1.5 ML_file "BaseDefinitions/calcelems.sml"
1.6 ML_file "BaseDefinitions/termC.sml"
1.7 +ML \<open>
1.8 +\<close> ML \<open>
1.9 +\<close> ML \<open>
1.10 +\<close> ML \<open>
1.11 +\<close> ML \<open>
1.12 +\<close> ML \<open>
1.13 +\<close> ML \<open>
1.14 +\<close> ML \<open>
1.15 +\<close> ML \<open>
1.16 +\<close> ML \<open>
1.17 +\<close> ML \<open>
1.18 +\<close>
1.19 ML_file "BaseDefinitions/substitution.sml"
1.20 ML_file "BaseDefinitions/contextC.sml"
1.21 ML_file "BaseDefinitions/environment.sml"