src/Pure/Syntax/syntax_phases.ML

   Markup.bound ::
     map (fn {pos, ...} => Position.make_entity_markup def id Markup.boundN (name, pos)) ps;
 
 fun markup_entity ctxt c =
   Syntax.get_consts (Proof_Context.syntax_of ctxt) c
-  |> maps (Lexicon.unmark
+  |> maps (Lexicon.unmark_entity
      {case_class = markup_class ctxt,
       case_type = markup_type ctxt,
       case_const = markup_const ctxt,
       case_fixed = markup_free ctxt,
       case_default = K []});

 
 fun extern ctxt c =
   (case Syntax.get_consts (Proof_Context.syntax_of ctxt) c of
     [b] => b
   | bs =>
-      (case filter Lexicon.is_marked bs of
+      (case filter Lexicon.is_marked_entity bs of
         [] => c
       | [b] => b
       | _ => error ("Multiple logical entities for " ^ quote c ^ ": " ^ commas_quote bs)))
   |> Proof_Context.extern_entity ctxt;