diff -r 8d7778a19857 -r ef462b5558eb src/Pure/PIDE/isabelle_markup.ML
--- a/src/Pure/PIDE/isabelle_markup.ML	Sun Aug 26 10:20:26 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.ML	Sun Aug 26 21:46:50 2012 +0200
@@ -26,6 +26,7 @@
   val breakN: string val break: int -> Markup.T
   val fbreakN: string val fbreak: Markup.T
   val hiddenN: string val hidden: Markup.T
+  val theoryN: string
   val classN: string
   val type_nameN: string
   val constantN: string
@@ -165,6 +166,7 @@
 
 (* logical entities *)
 
+val theoryN = "theory";
 val classN = "class";
 val type_nameN = "type name";
 val constantN = "constant";