src/Pure/Thy/thy_resources.scala

     session: Session,
     id: UUID,
     dep_theories: List[Document.Node.Name],
     progress: Progress)
   {
-
     val loaded_theories =
       for (node_name <- dep_theories)
       yield {
         val path = node_name.path
         if (!node_name.is_theory) error("Not a theory file: " + path)

         progress.expose_interrupt()
         val text = File.read(path)
         val node_header = resources.check_thy_reader(node_name, Scan.char_reader(text))
         new Thy_Resources.Theory(node_name, node_header, text, true)
       }
+
+    val loaded = loaded_theories.length
+    if (loaded > 1) progress.echo("Loading " + loaded + " theories ...")
 
     state.change(st =>
       {
         val st1 = st.insert_required(id, dep_theories)
         val theory_edits =