# HG changeset patch
# User wenzelm
# Date 1201363721 -3600
# Node ID caee173104d3918ecc53246035a9cdb68fd39d9d
# Parent  870ae1d0452ea54b15851d8dc3390ad76e8f81f9
added theorem group property;

diff -r 870ae1d0452e -r caee173104d3 src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Sat Jan 26 17:08:40 2008 +0100
+++ b/src/Pure/General/markup.ML	Sat Jan 26 17:08:41 2008 +0100
@@ -14,6 +14,7 @@
   val none: T
   val properties: (string * string) list -> T -> T
   val nameN: string
+  val groupN: string
   val idN: string
   val kindN: string
   val internalK: string
@@ -89,6 +90,7 @@
 fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T);
 
 val nameN = "name";
+val groupN = "group";
 
 
 (* kind *)