diff -r 292970b42770 -r 61ee96bc9895 src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Sun Oct 25 19:21:34 2009 +0100
+++ b/src/Pure/General/markup.ML	Sun Oct 25 20:54:21 2009 +0100
@@ -13,7 +13,6 @@
   val nameN: string
   val name: string -> T -> T
   val bindingN: string val binding: string -> T
-  val theory_nameN: string
   val kindN: string
   val internalK: string
   val entityN: string val entity: string -> T
@@ -150,8 +149,6 @@
 
 val (bindingN, binding) = markup_string "binding" nameN;
 
-val theory_nameN = "theory_name";
-
 
 (* kind *)