diff -r 8e736ce4c6f4 -r 78ece168f5b5 src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Sep 06 22:14:52 2015 +0200
+++ b/src/HOL/ROOT	Wed Sep 09 17:07:44 2015 +0200
@@ -975,15 +975,14 @@
   theories
     Examples
     Predicate_Compile_Tests
-    (* FIXME
-    Predicate_Compile_Quickcheck_Examples  -- should be added again soon (since 21-Oct-2010) *)
+    Predicate_Compile_Quickcheck_Examples
     Specialisation_Examples
     IMP_1
     IMP_2
     (* FIXME since 21-Jul-2011
-    Hotel_Example_Small_Generator
+    Hotel_Example_Small_Generator *)
     IMP_3
-    IMP_4 *)
+    IMP_4
   theories [condition = "ISABELLE_SWIPL"]
     Code_Prolog_Examples
     Context_Free_Grammar_Example