src/Pure/General/markup.ML

   val is_none: T -> bool
   val properties: (string * string) list -> T -> T
   val nameN: string
   val name: string -> T -> T
   val bindingN: string val binding: string -> T
-  val groupN: string
   val theory_nameN: string
   val kindN: string
   val internalK: string
   val entityN: string val entity: string -> T
   val defN: string

 val nameN = "name";
 fun name a = properties [(nameN, a)];
 
 val (bindingN, binding) = markup_string "binding" nameN;
 
-val groupN = "group";
 val theory_nameN = "theory_name";
 
 
 (* kind *)