# HG changeset patch
# User wenzelm
# Date 1509557869 -3600
# Node ID 67595389aa8ab3be61afde72af827ba11dc44655
# Parent  e76c6cb0d4612ff70879d58bb7fc46e2b587a0ac
build faster without heap images for minor imports;

diff -r e76c6cb0d461 -r 67595389aa8a src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Nov 01 18:24:39 2017 +0100
+++ b/src/HOL/ROOT	Wed Nov 01 18:37:49 2017 +0100
@@ -927,13 +927,15 @@
     "Examples/Finite"
     "Examples/T2_Spaces"
 
-session HOLCF (main timing) in HOLCF = "HOL-Library" +
+session HOLCF (main timing) in HOLCF = HOL +
   description {*
     Author:     Franz Regensburger
     Author:     Brian Huffman
 
     HOLCF -- a semantic extension of HOL by the LCF logic.
   *}
+  sessions
+    "HOL-Library"
   theories
     HOLCF (global)
   document_files "root.tex"