1.1 --- a/test/Tools/isac/Test_Theory.thy	Wed Jan 11 11:38:01 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Theory.thy	Wed Jan 25 15:52:33 2023 +0100
     1.3 @@ -77,7 +77,7 @@
     1.4  \<close> ML \<open>
     1.5  \<close>
     1.6  
     1.7 -section \<open>=================================================================\<close>
     1.8 +section \<open>=========="Minisubpbl/100-init-rootpbl.sml"========================================\<close>
     1.9  ML \<open>
    1.10  \<close> ML \<open>
    1.11  \<close> ML \<open>