clarified main sessions;
authorwenzelm
Mon Nov 27 16:18:29 2017 +0100 (4 months ago)
changeset 67100c7694d51c278
parent 67099 3345d53e7c58
child 67101 60126738b2d0
clarified main sessions;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Mon Nov 27 15:10:50 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Nov 27 16:18:29 2017 +0100
     1.3 @@ -68,7 +68,7 @@
     1.4      Approximations
     1.5      Circle_Area
     1.6  
     1.7 -session "HOL-Computational_Algebra" (timing) in "Computational_Algebra" = "HOL-Library" +
     1.8 +session "HOL-Computational_Algebra" (main timing) in "Computational_Algebra" = "HOL-Library" +
     1.9    theories
    1.10      Computational_Algebra
    1.11      (*conflicting type class instantiations and dependent applications*)
    1.12 @@ -204,7 +204,7 @@
    1.13    theories HOL_Light_Maps
    1.14    theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import
    1.15  
    1.16 -session "HOL-Number_Theory" (timing) in Number_Theory = "HOL-Computational_Algebra" +
    1.17 +session "HOL-Number_Theory" (main timing) in Number_Theory = "HOL-Computational_Algebra" +
    1.18    description {*
    1.19      Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, Fermat/Euler
    1.20      Theorem, Wilson's Theorem, some lemmas for Quadratic Reciprocity.