src/Pure/Syntax/mixfix.ML

--- 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)