--- a/src/Pure/Syntax/mixfix.ML Wed May 17 01:23:44 2006 +0200
+++ b/src/Pure/Syntax/mixfix.ML Wed May 17 01:23:46 2006 +0200
@@ -30,7 +30,6 @@
val type_name: string -> mixfix -> string
val const_name: string -> mixfix -> string
val const_mixfix: string -> mixfix -> string * mixfix
- val mixfix_const: string -> mixfix -> string * bool
val unlocalize_mixfix: mixfix -> mixfix
val mixfix_args: mixfix -> int
val mixfix_content: mixfix -> string list list
@@ -130,9 +129,6 @@
fun const_mixfix c mx = (const_name c mx, fix_mixfix c mx);
-fun mixfix_const c NoSyn = (c, true)
- | mixfix_const c _ = (Lexicon.constN ^ c, false);
-
fun map_mixfix _ NoSyn = NoSyn
| map_mixfix f (Mixfix (sy, ps, p)) = Mixfix (f sy, ps, p)
| map_mixfix f (Delimfix sy) = Delimfix (f sy)