src/HOL/Quickcheck_Exhaustive.thy
changeset 43882 05d5696f177f
parent 42310 c664cc5cc5e9
child 45450 dc2236b19a3d
     1.1 --- a/src/HOL/Quickcheck_Exhaustive.thy	Mon Jul 18 10:34:21 2011 +0200
     1.2 +++ b/src/HOL/Quickcheck_Exhaustive.thy	Mon Jul 18 10:34:21 2011 +0200
     1.3 @@ -452,7 +452,7 @@
     1.4  
     1.5  setup {* Exhaustive_Generators.setup *}
     1.6  
     1.7 -declare [[quickcheck_tester = exhaustive]]
     1.8 +declare [[quickcheck_batch_tester = exhaustive]]
     1.9  
    1.10  hide_fact orelse_def catch_match_def
    1.11  no_notation orelse (infixr "orelse" 55)