src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Mar 18 17:23:22 2015 +0000
+++ b/src/HOL/ROOT	Wed Mar 18 21:40:21 2015 +0100
@@ -741,7 +741,9 @@
     Ordinals and Cardinals, Full Theories.
   *}
   options [document = false]
-  theories Cardinals
+  theories
+    Cardinals
+    Bounded_Set
   document_files
     "intro.tex"
     "root.tex"