src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Aug 19 14:58:38 2014 +0200
+++ b/src/HOL/ROOT	Tue Aug 19 15:19:16 2014 +0200
@@ -38,7 +38,6 @@
     Product_Lexorder
     Product_Order
     Finite_Lattice
-    Quickcheck_Types
     (*data refinements and dependent applications*)
     AList_Mapping
     Code_Binary_Nat