build faster without heap images for minor imports;
authorwenzelm
Wed Nov 01 18:37:49 2017 +0100 (7 months ago)
changeset 6698267595389aa8a
parent 66981 e76c6cb0d461
child 66983 df83b66f1d94
build faster without heap images for minor imports;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Nov 01 18:24:39 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Nov 01 18:37:49 2017 +0100
     1.3 @@ -927,13 +927,15 @@
     1.4      "Examples/Finite"
     1.5      "Examples/T2_Spaces"
     1.6  
     1.7 -session HOLCF (main timing) in HOLCF = "HOL-Library" +
     1.8 +session HOLCF (main timing) in HOLCF = HOL +
     1.9    description {*
    1.10      Author:     Franz Regensburger
    1.11      Author:     Brian Huffman
    1.12  
    1.13      HOLCF -- a semantic extension of HOL by the LCF logic.
    1.14    *}
    1.15 +  sessions
    1.16 +    "HOL-Library"
    1.17    theories
    1.18      HOLCF (global)
    1.19    document_files "root.tex"