# HG changeset patch
# User wenzelm
# Date 1211570327 -7200
# Node ID e736139b553d607935d5f0c4934ced07c43bb43f
# Parent  cf147f69b3df90de0b9d8ab6d54e91ef8d857b16
added theory_nameN;

diff -r cf147f69b3df -r e736139b553d src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Fri May 23 17:19:24 2008 +0200
+++ b/src/Pure/General/markup.ML	Fri May 23 21:18:47 2008 +0200
@@ -15,6 +15,7 @@
   val properties: (string * string) list -> T -> T
   val nameN: string
   val groupN: string
+  val theory_nameN: string
   val idN: string
   val kindN: string
   val internalK: string
@@ -93,8 +94,12 @@
 fun markup_string elem prop = (elem, fn s => (elem, [(prop, s)]): T);
 fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T);
 
+
+(* name *)
+
 val nameN = "name";
 val groupN = "group";
+val theory_nameN = "theory_name";
 
 
 (* kind *)