src/HOL/ROOT
changeset 72860 65554bac121b
parent 72837 110bfed4815d
child 72924 8cb82e7f1743
equal deleted inserted replaced
72859:429afd0d1a79 72860:65554bac121b
     7   options [strict_facts]
     7   options [strict_facts]
     8   sessions Tools
     8   sessions Tools
     9   theories
     9   theories
    10     Main (global)
    10     Main (global)
    11     Complex_Main (global)
    11     Complex_Main (global)
       
    12   document_theories
       
    13     Tools.Code_Generator
    12   document_files
    14   document_files
    13     "root.bib"
    15     "root.bib"
    14     "root.tex"
    16     "root.tex"
    15 
    17 
    16 session "HOL-Examples" in Examples = HOL +
    18 session "HOL-Examples" in Examples = HOL +