diff -r a935175fe6b6 -r f462e49eaf11 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Tue Feb 21 23:25:36 2012 +0100
+++ b/src/HOL/ex/ROOT.ML	Wed Feb 22 08:01:41 2012 +0100
@@ -60,8 +60,6 @@
   "Arithmetic_Series_Complex",
   "HarmonicSeries",
   "Refute_Examples",
-  "Quickcheck_Examples",
-  "Quickcheck_Lattice_Examples",
   "Landau",
   "Execute_Choice",
   "Summation",
@@ -76,9 +74,6 @@
   "Executable_Relation"
 ];
 
-if getenv "ISABELLE_GHC" = "" then ()
-else use_thy "Quickcheck_Narrowing_Examples";
-
 use_thy "SVC_Oracle";
 if getenv "SVC_HOME" = "" then ()
 else use_thy "svc_test";