# HG changeset patch
# User bulwahn
# Date 1343638773 -7200
# Node ID 3defa60a7ae33beace44bbbbd77ba723c4f2b5b2
# Parent  c895e334162ce06b9a6cbad35ad4c8cdfebb57df
re-activating Quickcheck_Narrowing_Examples in Quickcheck_Examples

diff -r c895e334162c -r 3defa60a7ae3 src/HOL/Quickcheck_Examples/ROOT.ML
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Jul 29 21:55:56 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 10:59:33 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";
-*)
+