diff -r 6a5f3a2e6d3a -r c3acf9c442ac src/Tools/isac/BaseDefinitions/termC.sml
--- a/src/Tools/isac/BaseDefinitions/termC.sml	Tue May 24 16:47:31 2022 +0200
+++ b/src/Tools/isac/BaseDefinitions/termC.sml	Thu May 26 12:44:51 2022 +0200
@@ -75,7 +75,7 @@
   val parseNEW': Proof.context -> string -> term
   val parseNEW'': theory -> string -> term
   val parse_strict: theory -> string -> term
-  val parse: theory -> string -> cterm option
+(*val parse: theory -> string -> cterm option*)
 
   val parse_patt: theory -> string -> term
   val perm: term -> term -> bool