src/Pure/Thy/sessions.scala

     sources: List[(Path, SHA1.Digest)] = Nil,
     session_graph_display: Graph_Display.Graph = Graph_Display.empty_graph,
     errors: List[String] = Nil,
     imports: Option[Base] = None)
   {
+    override def toString: String =
+      "Sessions.Base(loaded_theories = " + loaded_theories.size +
+        ", used_theories = " + used_theories.length + ")"
+
     def platform_path: Base = copy(known = known.platform_path)
     def standard_path: Base = copy(known = known.standard_path)
 
     def theory_qualifier(name: String): String =
       global_theories.getOrElse(name, Long_Name.qualifier(name))

   }
 
   sealed case class Deps(
     sessions_structure: Structure, session_bases: Map[String, Base], all_known: Known)
   {
+    override def toString: String = "Sessions.Deps(" + sessions_structure + ")"
+
     def is_empty: Boolean = session_bases.isEmpty
     def apply(name: String): Base = session_bases(name)
     def get(name: String): Option[Base] = session_bases.get(name)
 
     def imported_sources(name: String): List[SHA1.Digest] =