src/HOL/Quickcheck_Examples/ROOT.ML

--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 09 09:47:59 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 09 10:04:07 2012 +0200
@@ -3,7 +3,8 @@
   "Quickcheck_Examples",
   "Quickcheck_Lattice_Examples",
   "Completeness",
-  "Quickcheck_Interfaces"
+  "Quickcheck_Interfaces",
+  "Hotel_Example"
 ];
 
 if getenv "ISABELLE_GHC" = "" then ()