1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Mon Oct 31 16:53:59 2022 +0100
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Mon Oct 31 18:28:36 2022 +0100
     1.3 @@ -109,7 +109,6 @@
     1.4    val atomwy: term -> unit
     1.5    val atomty_thy: ThyC.id -> term -> unit
     1.6    val free2var: term -> term
     1.7 -  val typ_a2real: term -> term
     1.8  \<close>
     1.9    val contains_one_of: thm * (string * typ) list -> bool
    1.10    val contains_Const_typeless: term list -> term -> bool