# HG changeset patch
# User wenzelm
# Date 1511795909 -3600
# Node ID c7694d51c2781764fcfad3882117d9dbad259930
# Parent  3345d53e7c58ee3a656253553ceab3114c91c8c3
clarified main sessions;

diff -r 3345d53e7c58 -r c7694d51c278 src/HOL/ROOT
--- a/src/HOL/ROOT	Mon Nov 27 15:10:50 2017 +0100
+++ b/src/HOL/ROOT	Mon Nov 27 16:18:29 2017 +0100
@@ -68,7 +68,7 @@
     Approximations
     Circle_Area
 
-session "HOL-Computational_Algebra" (timing) in "Computational_Algebra" = "HOL-Library" +
+session "HOL-Computational_Algebra" (main timing) in "Computational_Algebra" = "HOL-Library" +
   theories
     Computational_Algebra
     (*conflicting type class instantiations and dependent applications*)
@@ -204,7 +204,7 @@
   theories HOL_Light_Maps
   theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import
 
-session "HOL-Number_Theory" (timing) in Number_Theory = "HOL-Computational_Algebra" +
+session "HOL-Number_Theory" (main timing) in Number_Theory = "HOL-Computational_Algebra" +
   description {*
     Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, Fermat/Euler
     Theorem, Wilson's Theorem, some lemmas for Quadratic Reciprocity.