1.1 --- a/src/Tools/isac/Specify/p-spec.sml	Wed Aug 30 06:37:56 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/p-spec.sml	Mon Sep 18 08:38:33 2023 +0200
     1.3 @@ -29,9 +29,9 @@
     1.4    val is_e_ts: term list -> bool
     1.5    val itms2fstr: Proof.context -> I_Model.single -> string * string
     1.6    val par2fstr: I_Model.single -> string * TermC.as_string
     1.7 -  val unknown_expl: ThyC.id -> (''a * (term * term)) list -> (*Model_Pattern.T?*)
     1.8 +  val unknown_expl: ThyC.id -> (''a * (term * term)) list -> (*Model_Pattern.T*)
     1.9      (''a * string) list ->
    1.10 -      (int * int list * bool * ''a * Model_Def.i_model_feedback) list (*I_Model.T?*)
    1.11 +      (int * int list * bool * ''a * Model_Def.i_model_feedback) list (*I_Model.T*)
    1.12  \<close>
    1.13  (*\------- rename -------/*)
    1.14  end