merged
authorwenzelm
Mon, 30 Jul 2012 12:04:37 +0200
changeset 48597 4b8559b227ed
parent 48596 3defa60a7ae3 (diff)
parent 48595 231e6fa96dbb (current diff)
child 48598 7f4561d43d39
merged
--- 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";
-*)
+