src/Pure/General/markup.scala
changeset 42136 826168ae0213
parent 41483 4a8431c73cf2
child 42202 f6483ed40529
--- a/src/Pure/General/markup.scala	Sun Mar 27 20:55:01 2011 +0200
+++ b/src/Pure/General/markup.scala	Sun Mar 27 21:19:23 2011 +0200
@@ -84,7 +84,10 @@
   /* misc properties */
 
   val NAME = "name"
+  val Name = new Property(NAME)
+
   val KIND = "kind"
+  val Kind = new Property(KIND)
 
 
   /* formal entities */
@@ -129,7 +132,7 @@
   val FIXED_DECL = "fixed_decl"
   val FIXED = "fixed"
   val CONST_DECL = "const_decl"
-  val CONST = "const"
+  val CONST = "constant"
   val FACT_DECL = "fact_decl"
   val FACT = "fact"
   val DYNAMIC_FACT = "dynamic_fact"