diff -r 6103b0eadbf2 -r f7c97e64cc2a ROOT
--- a/ROOT	Tue May 14 17:45:13 2019 +0200
+++ b/ROOT	Thu May 16 19:56:12 2019 +0200
@@ -1,8 +1,8 @@
 session "Cookbook" in "ProgTutorial" = HOL +
   options [document = pdf, browser_info = false, document_output = ".."]
-  theories [document = false]
+ theories [document = false]
     "Base"
-    "Package/Simple_Inductive_Package"
+    "Package/Simple_Inductive_Package" 
   theories [quick_and_dirty, document = true] 
     "Intro"
     "First_Steps"