--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOT	Tue Aug 28 21:23:32 2012 +0100
@@ -0,0 +1,37 @@
+
+session "Cookbook" in "ProgTutorial" = HOL +
+options [document = pdf, browser_info = false, document_output = ".."]
+  theories [document = false]
+    "Base"
+    "Package/Simple_Inductive_Package"
+    "~~/src/HOL/Number_Theory/Primes" 
+    "~~/src/HOL/Library/Efficient_Nat"
+    "Helper/Command/Command"
+  theories [quick_and_dirty, document = true] 
+    "Intro"
+    "First_Steps"
+    "Essential"
+    "Advanced"
+    "Parsing"
+    "Tactical"
+    "Package/Ind_Intro"
+    "Package/Ind_Prelims"
+    "Package/Ind_Interface"
+    "Package/Ind_General_Scheme"
+    "Package/Ind_Code" 
+    "Package/Ind_Extensions"
+    "Appendix"
+    "Recipes/Antiquotes"
+    "Recipes/TimeLimit"
+    "Recipes/Timing"
+    "Recipes/CallML"
+    "Recipes/ExternalSolver"
+    "Recipes/Oracle"
+    "Recipes/Sat"
+    "Recipes/USTypes"
+    "Solutions"
+  files 
+    "document/root.bib" 
+    "document/root.tex" 
+    "document/build"
+