src/Pure/Thy/sessions.scala

                 for { (_, thys) <- info.theories; (thy, pos) <- thys }
                 yield (resources.import_name(info.name, info.dir.implode, thy), pos))
 
             val overall_syntax = dependencies.overall_syntax
 
-            val theory_files = dependencies.names.map(_.path)
+            val theory_files = dependencies.theories.map(_.path)
             val loaded_files =
               if (inlined_files) {
                 if (Sessions.is_pure(info.name)) {
                   (Thy_Header.PURE -> resources.pure_files(overall_syntax, info.dir)) ::
                     dependencies.loaded_files.filterNot(p => p._1 == Thy_Header.PURE)

                     ((g /: (a :: bs))(_.default_node(_, Nil)) /: bs)(_.add_edge(_, a)) })
             }
 
             val known =
               Known.make(info.dir, List(imports_base),
-                theories = dependencies.names,
+                theories = dependencies.theories,
                 loaded_files = loaded_files)
 
             val sources_errors =
               for (p <- session_files if !p.is_file) yield "No such file: " + p