src/Pure/Thy/thy_resources.scala

     val import_names =
       for ((thy, pos) <- theories)
       yield (import_name(qualifier, master_dir, thy), pos)
 
     val dependencies = resources.dependencies(import_names).check_errors
-    val loaded_theories = dependencies.names.map(read_thy(_))
+    val loaded_theories = dependencies.theories.map(read_thy(_))
 
     val edits =
       state.change_result(st =>
       {
         val theory_edits =

         val st1 = st.copy(theories = st.theories ++ theory_edits.map(_._1))
         (theory_edits.flatMap(_._2), st1)
       })
     session.update(Document.Blobs.empty, edits)
 
-    dependencies.names
+    dependencies.theories
   }
 }