--- a/src/Pure/Syntax/lexicon.ML Sat Sep 04 21:02:55 1999 +0200
+++ b/src/Pure/Syntax/lexicon.ML Sat Sep 04 21:04:07 1999 +0200
@@ -24,8 +24,6 @@
val const: string -> term
val free: string -> term
val var: indexname -> term
- val binding: string -> string
- val dest_binding: string -> string
val skolem: string -> string
val dest_skolem: string -> string
val read_nat: string -> int option
@@ -328,9 +326,6 @@
(* variable kinds *)
-val binding = suffix "_BIND_";
-val dest_binding = unsuffix "_BIND_";
-
val skolem = suffix "__";
val dest_skolem = unsuffix "__";