diff -r 719f458cd89e -r 5b51ccdc8623 src/Pure/PIDE/isabelle_markup.scala
--- a/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 16:34:15 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 17:08:22 2012 +0200
@@ -252,15 +252,6 @@
 
   val Ready: Properties.T = List((FUNCTION, "ready"))
 
-  object Loaded_Theory
-  {
-    def unapply(props: Properties.T): Option[String] =
-      props match {
-        case List((FUNCTION, "loaded_theory"), (Markup.NAME, name)) => Some(name)
-        case _ => None
-      }
-  }
-
   val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
   val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))