src/Pure/Thy/sessions.scala

     def get(name: String): Option[Base] = session_bases.get(name)
 
     def imported_sources(name: String): List[SHA1.Digest] =
       session_bases(name).imported_sources.map(_._2)
 
-    def used_theories_conditions(warning: String => Unit = _ => ()): List[String] =
+    def used_theories_condition(warning: String => Unit = _ => ()): List[Document.Node.Name] =
       for {
         session_name <- sessions_structure.build_topological_order
         (options, name) <- session_bases(session_name).used_theories
         if {
           val conditions =

           else {
             warning("Skipping theory " + name + "  (condition " + conditions.mkString(" ") + ")")
             false
           }
         }
-      } yield name.theory
+      } yield name
 
     def sources(name: String): List[SHA1.Digest] =
       session_bases(name).sources.map(_._2)
 
     def errors: List[String] =