diff -r b6f787a17fbe -r 3d8fd98c7c86 src/Doc/ROOT
--- a/src/Doc/ROOT	Mon Oct 30 19:36:27 2017 +0100
+++ b/src/Doc/ROOT	Mon Oct 30 20:04:10 2017 +0100
@@ -17,7 +17,6 @@
     "style.sty"
 
 session Codegen_Basics in "Codegen" = "HOL-Library" +
-  options [document = false]
   theories
     Setup
 
@@ -505,6 +504,5 @@
     "style.sty"
 
 session Typeclass_Hierarchy_Basics in "Typeclass_Hierarchy" = "HOL-Library" +
-  options [document = false]
   theories
     Setup