src/Pure/Tools/dump.scala

       "x:" -> (arg => exclude_sessions = exclude_sessions ::: List(arg)))
 
       val sessions = getopts(args)
 
       val progress = new Console_Progress(verbose = verbose)
+      {
+        override def theory_percentage(session: String, theory: String, percentage: Int)
+        {
+          if (verbose) echo(Progress.theory_message(session, theory) + ": " + percentage + "%")
+        }
+      }
 
       val result =
         progress.interrupt_handler {
           dump(options, logic,
             aspects = aspects,