1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4    val parse_strict: theory -> string -> term (*still required for CAS_Cmd*)
     1.5    val parse_strict_PIDE: theory -> string -> term
     1.6  
     1.7 -  val parse_patt: theory -> string -> term
     1.8 +  val parse_patt: theory -> string -> term   (*still required why ??? *)
     1.9    val parse_patt_PIDE: theory -> string -> term
    1.10    val perm: term -> term -> bool
    1.11