src/Pure/General/markup.ML

--- a/src/Pure/General/markup.ML	Sun Oct 25 12:27:21 2009 +0100
+++ b/src/Pure/General/markup.ML	Sun Oct 25 13:18:35 2009 +0100
@@ -17,7 +17,6 @@
   val theory_nameN: string
   val kindN: string
   val internalK: string
-  val property_internal: Properties.property
   val entityN: string val entity: string -> T
   val defN: string
   val refN: string
@@ -161,7 +160,6 @@
 val kindN = "kind";
 
 val internalK = "internal";
-val property_internal = (kindN, internalK);
 
 
 (* formal entities *)