src/HOL/Quickcheck.thy
changeset 40650 d40b347d5b0b
parent 38857 97775f3e8722
child 40915 a4c956d1f91f
     1.1 --- a/src/HOL/Quickcheck.thy	Mon Nov 22 11:34:55 2010 +0100
     1.2 +++ b/src/HOL/Quickcheck.thy	Mon Nov 22 11:34:56 2010 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* A simple counterexample generator *}
     1.5  
     1.6  theory Quickcheck
     1.7 -imports Random Code_Evaluation
     1.8 +imports Random Code_Evaluation Enum
     1.9  uses ("Tools/quickcheck_generators.ML")
    1.10  begin
    1.11