# HG changeset patch
# User wenzelm
# Date 1343642677 -7200
# Node ID 4b8559b227ed2e25ce6a5962c63d0858cada2e68
# Parent  3defa60a7ae33beace44bbbbd77ba723c4f2b5b2# Parent  231e6fa96dbb9210e2f6e7a4415dc7f4957689a3
merged

diff -r 231e6fa96dbb -r 4b8559b227ed src/HOL/Quickcheck_Examples/ROOT.ML
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 12:03:48 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 12:04:37 2012 +0200
@@ -10,7 +10,7 @@
   "Needham_Schroeder_Guided_Attacker_Example",
   "Needham_Schroeder_Unguided_Attacker_Example"*)
 ];
-(*
+
 if getenv "ISABELLE_GHC" = "" then ()
 else use_thy "Quickcheck_Narrowing_Examples";
-*)
+