src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Jul 11 15:35:11 2014 +0200
+++ b/src/HOL/ROOT	Fri Jul 11 15:52:03 2014 +0200
@@ -884,11 +884,10 @@
   options [document = false]
   theories
     Quickcheck_Examples
-  (* FIXME
     Quickcheck_Lattice_Examples
     Completeness
     Quickcheck_Interfaces
-    Hotel_Example *)
+    Hotel_Example
   theories [condition = ISABELLE_GHC]
     Quickcheck_Narrowing_Examples