diff -r c113db12bf8b -r d9fe47d21b41 src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Sun Apr 17 20:25:10 2011 +0200
+++ b/src/Pure/General/markup.scala	Sun Apr 17 20:58:43 2011 +0200
@@ -152,9 +152,7 @@
   val FIXED_DECL = "fixed_decl"
   val FIXED = "fixed"
   val CONST = "constant"
-  val FACT = "fact"
   val DYNAMIC_FACT = "dynamic_fact"
-  val LOCAL_FACT = "local_fact"
 
 
   /* inner syntax */