--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/How_to_Prove_it/ROOT	Fri May 02 07:54:23 2014 +0200
@@ -0,0 +1,9 @@
+session How_to_Prove_it = HOL +
+  options [document = pdf, show_question_marks = false]
+  theories
+    How_to_Prove_it
+  document_files
+    "root.tex"
+    "root.bib"
+    "prelude.tex"
+