1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Tue May 24 16:47:31 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Thu May 26 12:44:51 2022 +0200
     1.3 @@ -75,7 +75,7 @@
     1.4    val parseNEW': Proof.context -> string -> term
     1.5    val parseNEW'': theory -> string -> term
     1.6    val parse_strict: theory -> string -> term
     1.7 -  val parse: theory -> string -> cterm option
     1.8 +(*val parse: theory -> string -> cterm option*)
     1.9  
    1.10    val parse_patt: theory -> string -> term
    1.11    val perm: term -> term -> bool