diff -r 0192811f0a96 -r 18461f745b4a src/HOL/Quickcheck_Examples/ROOT.ML
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 02 11:45:19 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 02 12:23:30 2012 +0200
@@ -2,7 +2,8 @@
   "Find_Unused_Assms_Examples",
   "Quickcheck_Examples",
   "Quickcheck_Lattice_Examples",
-  "Completeness"
+  "Completeness",
+  "Quickcheck_Interfaces"
 ];
 
 if getenv "ISABELLE_GHC" = "" then ()