src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sat Aug 17 22:08:21 2013 +0200
+++ b/src/Pure/PIDE/markup.scala	Sat Aug 17 22:15:45 2013 +0200
@@ -353,6 +353,9 @@
       }
   }
 
+  val SLEDGEHAMMER_PROVERS = "sledgehammer_provers"
+  val Sledgehammer_Provers: Properties.T = List((FUNCTION, SLEDGEHAMMER_PROVERS))
+
   object ML_Statistics
   {
     def unapply(props: Properties.T): Option[Properties.T] =