changeset 60387 | 8e46f61fdb15 |
parent 60386 | b7ea87559ad5 |
child 60391 | a95071158185 |
1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml Wed Aug 18 16:46:22 2021 +0200 1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml Wed Aug 18 20:34:41 2021 +0200 1.3 @@ -41,7 +41,6 @@ 1.4 1.5 val is_atom: term -> bool 1.6 val string_of_atom: term -> string 1.7 - val is_const: term -> bool (* re-establish intermed.TOODOO *) 1.8 val is_variable: term -> bool 1.9 val is_bdv: string -> bool 1.10 val is_bdv_subst: term -> bool