1.1 --- a/src/Tools/isac/BaseDefinitions/BaseDefinitions.thy	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/BaseDefinitions.thy	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -64,5 +64,7 @@
     1.4  ML \<open>
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open>
     1.7 +\<close> ML \<open>
     1.8 +\<close> ML \<open>
     1.9  \<close>
    1.10  end