src/Pure/System/progress.scala

     def apply(name: Document.Node.Name): Document_Status.Node_Status =
       document_status(name)
 
     def theory(name: Document.Node.Name): Theory = {
       val node_status = apply(name)
-      Theory(theory = name.theory, session = session, total_time = node_status.total_time)
+      Theory(theory = name.theory, session = session, total_time = node_status.total_timing.elapsed)
     }
   }
 }
 
 class Progress {