1.1 --- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Jul 29 21:55:56 2012 +0200
     1.2 +++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 30 10:59:33 2012 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4    "Needham_Schroeder_Guided_Attacker_Example",
     1.5    "Needham_Schroeder_Unguided_Attacker_Example"*)
     1.6  ];
     1.7 -(*
     1.8 +
     1.9  if getenv "ISABELLE_GHC" = "" then ()
    1.10  else use_thy "Quickcheck_Narrowing_Examples";
    1.11 -*)
    1.12 +