1.1 --- a/test/Tools/isac/Test_Theory.thy	Sun Dec 10 07:56:02 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Theory.thy	Sun Dec 10 17:35:07 2023 +0100
     1.3 @@ -206,9 +206,9 @@
     1.4  \<close> ML \<open>
     1.5  \<close>
     1.6  
     1.7 -(**)ML_file "Specify/i-model.sml"(**)
     1.8 +(**)ML_file "Interpret/li-tool.sml"(**)
     1.9  section \<open>===================================================================================\<close>
    1.10 -section \<open>===== new code xxxxx ==============================================================\<close>
    1.11 +section \<open>=====  ============================================================================\<close>
    1.12  ML \<open>
    1.13  \<close> ML \<open>
    1.14