# HG changeset patch
# User wenzelm
# Date 1343642905 -7200
# Node ID 7f4561d43d391f14724025376c293c47462bc6de
# Parent  4b8559b227ed2e25ce6a5962c63d0858cada2e68
updated ROOT according to 3defa60a7ae3;

diff -r 4b8559b227ed -r 7f4561d43d39 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]