reduced heap hierarchy, for potentially improved performance;
authorwenzelm
Sat Oct 28 21:26:51 2017 +0200 (19 months ago)
changeset 66932149025fecca0
parent 66931 4ff031d249b2
child 66933 4e06b030730c
reduced heap hierarchy, for potentially improved performance;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Sat Oct 28 16:43:26 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Sat Oct 28 21:26:51 2017 +0200
     1.3 @@ -55,7 +55,9 @@
     1.4      Refute
     1.5    document_files "root.bib" "root.tex"
     1.6  
     1.7 -session "HOL-Analysis" (main timing) in Analysis = "HOL-Computational_Algebra" +
     1.8 +session "HOL-Analysis" (main timing) in Analysis = HOL +
     1.9 +  sessions
    1.10 +    "HOL-Computational_Algebra"
    1.11    theories
    1.12      Analysis
    1.13    document_files