src/Pure/General/markup.ML

   val is_empty: T -> bool
   val properties: Properties.T -> T -> T
   val nameN: string
   val name: string -> T -> T
   val kindN: string
-  val bindingN: string val binding: string -> T
+  val bindingN: string val binding: T
   val entityN: string val entity: string -> string -> T
   val defN: string
   val refN: string
   val lineN: string
   val columnN: string

 val kindN = "kind";
 
 
 (* formal entities *)
 
-val (bindingN, binding) = markup_string "binding" nameN;
+val (bindingN, binding) = markup_elem "binding";
 
 val entityN = "entity";
 fun entity kind name = (entityN, [(nameN, name), (kindN, kind)]);
 
 val defN = "def";