src/Doc/ROOT
changeset 52792 3e651be14fcd
parent 52742 e7296939fec2
child 52822 ae938ac9a721
     1.1 --- a/src/Doc/ROOT	Tue Jul 30 16:22:39 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Jul 30 16:22:39 2013 +0200
     1.3 @@ -37,6 +37,20 @@
     1.4      "document/root.tex"
     1.5      "document/style.sty"
     1.6  
     1.7 +session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
     1.8 +  options [document_variants = "datatypes"]
     1.9 +  theories Datatypes
    1.10 +  files
    1.11 +    "../prepare_document"
    1.12 +    "../pdfsetup.sty"
    1.13 +    "../iman.sty"
    1.14 +    "../extra.sty"
    1.15 +    "../isar.sty"
    1.16 +    "../manual.bib"
    1.17 +    "document/build"
    1.18 +    "document/root.tex"
    1.19 +    "document/style.sty"
    1.20 +
    1.21  session Functions (doc) in "Functions" = HOL +
    1.22    options [document_variants = "functions", skip_proofs = false]
    1.23    theories Functions