src/HOL/ROOT
changeset 61203 a8a8eca85801
parent 61152 13b2fd801692
child 61224 759b5299a9f2
     1.1 --- a/src/HOL/ROOT	Mon Sep 21 11:31:56 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Sep 21 14:44:32 2015 +0200
     1.3 @@ -169,6 +169,15 @@
     1.4    options [document = false]
     1.5    theories EvenOdd
     1.6  
     1.7 +session "HOL-Data_Structures" in Data_Structures = HOL +
     1.8 +  options [document_variants = document]
     1.9 +  theories [document = false]
    1.10 +    "Less_False"
    1.11 +  theories
    1.12 +    Tree_Set
    1.13 +    Tree_Map
    1.14 +  document_files "root.tex"
    1.15 +
    1.16  session "HOL-Import" in Import = HOL +
    1.17    theories HOL_Light_Maps
    1.18    theories [condition = HOL_LIGHT_BUNDLE] HOL_Light_Import