diff -r b7ea87559ad5 -r 8e46f61fdb15 src/Tools/isac/BaseDefinitions/termC.sml
--- a/src/Tools/isac/BaseDefinitions/termC.sml	Wed Aug 18 16:46:22 2021 +0200
+++ b/src/Tools/isac/BaseDefinitions/termC.sml	Wed Aug 18 20:34:41 2021 +0200
@@ -41,7 +41,6 @@
 
   val is_atom: term -> bool
   val string_of_atom: term -> string
-  val is_const: term -> bool   (* re-establish intermed.TOODOO *)
   val is_variable: term -> bool
   val is_bdv: string -> bool
   val is_bdv_subst: term -> bool