src/HOL/ROOT
changeset 66932 149025fecca0
parent 66842 7ded55dd2a55
child 66946 3d8fd98c7c86
     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