diff -r 7d25b8dbdbfa -r aaba2e0c247c src/HOL/ROOT
--- a/src/HOL/ROOT	Tue May 02 10:25:27 2017 +0200
+++ b/src/HOL/ROOT	Tue May 02 10:47:39 2017 +0200
@@ -71,7 +71,7 @@
     Approximations
     Circle_Area
 
-session "HOL-Computational_Algebra" in "Computational_Algebra" = "HOL-Library" +
+session "HOL-Computational_Algebra" (timing) in "Computational_Algebra" = "HOL-Library" +
   theories
     Computational_Algebra
     (*conflicting type class instantiations and dependent applications*)
@@ -562,7 +562,7 @@
   theories CompleteLattice
   document_files "root.tex"
 
-session "HOL-ex" in ex = "HOL-Library" +
+session "HOL-ex" (timing) in ex = "HOL-Library" +
   description {*
     Miscellaneous examples for Higher-Order Logic.
   *}