src/HOL/ROOT
changeset 57998 8b7508f848ef
parent 57994 68b283f9f826
child 58023 62826b36ac5e
     1.1 --- a/src/HOL/ROOT	Tue Aug 19 14:58:38 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Aug 19 15:19:16 2014 +0200
     1.3 @@ -38,7 +38,6 @@
     1.4      Product_Lexorder
     1.5      Product_Order
     1.6      Finite_Lattice
     1.7 -    Quickcheck_Types
     1.8      (*data refinements and dependent applications*)
     1.9      AList_Mapping
    1.10      Code_Binary_Nat