src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Jul 30 12:04:37 2012 +0200
+++ b/src/HOL/ROOT	Mon Jul 30 12:08:25 2012 +0200
@@ -736,6 +736,8 @@
   options [document = false]
   theories
     Quickcheck_Examples (* FIXME more *)
+  theories [condition = ISABELLE_GHC]
+    Quickcheck_Narrowing_Examples
 
 session Quickcheck_Benchmark = HOL +
   theories [condition = ISABELLE_BENCHMARK]