1.1 --- a/src/Tools/isac/Specify/Specify.thy	Sun Aug 27 11:19:14 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/Specify.thy	Sun Aug 27 16:09:04 2023 +0200
     1.3 @@ -23,6 +23,8 @@
     1.4    ML_file "step-specify.sml"
     1.5  
     1.6  ML \<open>
     1.7 +(** )
     1.8 +( **)
     1.9  \<close> ML \<open>
    1.10  
    1.11  \<close> ML \<open>