src/HOL/Quickcheck_Exhaustive.thy
changeset 51126 df86080de4cb
parent 49948 744934b818c7
child 51143 0a2371e7ced3
     1.1 --- a/src/HOL/Quickcheck_Exhaustive.thy	Thu Feb 14 17:58:28 2013 +0100
     1.2 +++ b/src/HOL/Quickcheck_Exhaustive.thy	Thu Feb 14 15:27:10 2013 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* A simple counterexample generator performing exhaustive testing *}
     1.5  
     1.6  theory Quickcheck_Exhaustive
     1.7 -imports Quickcheck
     1.8 +imports Quickcheck_Random
     1.9  keywords "quickcheck_generator" :: thy_decl
    1.10  begin
    1.11