     1.1 --- a/src/Tools/isac/Specify/Specify.thy	Mon Jun 20 18:43:51 2022 +0200
     1.2 +++ b/src/Tools/isac/Specify/Specify.thy	Tue Jun 21 12:41:52 2022 +0200
     1.3 @@ -26,6 +26,5 @@
     1.4  \<close> ML \<open>
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open>
     1.7 -\<close> ML \<open>
     1.8  \<close>
     1.9  end
changeset 60475	4efa686417f0
parent 60470	dab7b21673ee
child 60505	137227934d2e