src/HOL/ROOT
changeset 48598 7f4561d43d39
parent 48589 fb446a780d50
child 48614 6004f4575645
--- 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]