# HG changeset patch
# User wenzelm
# Date 1509218811 -7200
# Node ID 149025fecca0562a4d4dda3127fb430c7f459cf8
# Parent  4ff031d249b22092019ad837a826069aaf63ff9a
reduced heap hierarchy, for potentially improved performance;

diff -r 4ff031d249b2 -r 149025fecca0 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Oct 28 16:43:26 2017 +0200
+++ b/src/HOL/ROOT	Sat Oct 28 21:26:51 2017 +0200
@@ -55,7 +55,9 @@
     Refute
   document_files "root.bib" "root.tex"
 
-session "HOL-Analysis" (main timing) in Analysis = "HOL-Computational_Algebra" +
+session "HOL-Analysis" (main timing) in Analysis = HOL +
+  sessions
+    "HOL-Computational_Algebra"
   theories
     Analysis
   document_files