1.1 --- a/src/Tools/isac/Specify/Specify.thy	Thu Dec 07 16:14:32 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/Specify.thy	Thu Dec 07 17:16:22 2023 +0100
     1.3 @@ -26,8 +26,6 @@
     1.4  
     1.5  ML \<open>
     1.6  \<close> ML \<open>
     1.7 -Refine.problem: theory -> Problem.id -> I_Model.T -> (Problem.id * (I_Model.T * Pre_Conds.T)) option
     1.8 -\<close> ML \<open>
     1.9  
    1.10  \<close> ML \<open>
    1.11  \<close>