1.1 --- a/src/HOL/Quickcheck_Examples/ROOT.ML	Wed Jul 18 20:59:02 2012 +0200
     1.2 +++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Thu Jul 19 12:01:05 2012 +0200
     1.3 @@ -9,7 +9,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 +*)