src/Doc/ROOT
changeset 56825 8872e0776e97
parent 56534 3ff16a7f0b2e
child 57083 5c26000e1042
     1.1 --- a/src/Doc/ROOT	Fri May 02 13:57:57 2014 +0200
     1.2 +++ b/src/Doc/ROOT	Fri May 02 14:15:23 2014 +0200
     1.3 @@ -73,6 +73,15 @@
     1.4      "root.tex"
     1.5      "style.sty"
     1.6  
     1.7 +session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
     1.8 +  options [document_variants = "how_to_prove_it", show_question_marks = false]
     1.9 +  theories
    1.10 +    How_to_Prove_it
    1.11 +  document_files
    1.12 +    "root.tex"
    1.13 +    "root.bib"
    1.14 +    "prelude.tex"
    1.15 +
    1.16  session Intro (doc) in "Intro" = Pure +
    1.17    options [document_variants = "intro"]
    1.18    theories