1 session How_to_Prove_it = HOL +
2 options [document = pdf, show_question_marks = false]
3 theories
4 How_to_Prove_it
5 document_files
6 "root.tex"
7 "root.bib"
8 "prelude.tex"
9