1.1 --- a/src/Pure/General/markup.ML	Sun Oct 25 19:21:34 2009 +0100
     1.2 +++ b/src/Pure/General/markup.ML	Sun Oct 25 20:54:21 2009 +0100
     1.3 @@ -13,7 +13,6 @@
     1.4    val nameN: string
     1.5    val name: string -> T -> T
     1.6    val bindingN: string val binding: string -> T
     1.7 -  val theory_nameN: string
     1.8    val kindN: string
     1.9    val internalK: string
    1.10    val entityN: string val entity: string -> T
    1.11 @@ -150,8 +149,6 @@
    1.12  
    1.13  val (bindingN, binding) = markup_string "binding" nameN;
    1.14  
    1.15 -val theory_nameN = "theory_name";
    1.16 -
    1.17  
    1.18  (* kind *)
    1.19