src/Pure/General/markup.ML

--- a/src/Pure/General/markup.ML	Sun Oct 25 19:18:25 2009 +0100
+++ b/src/Pure/General/markup.ML	Sun Oct 25 19:18:59 2009 +0100
@@ -13,7 +13,6 @@
   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
@@ -151,7 +150,6 @@
 
 val (bindingN, binding) = markup_string "binding" nameN;
 
-val groupN = "group";
 val theory_nameN = "theory_name";