changeset 58813 | 625d04d4fd2a |
parent 58310 | 91ea607a34d8 |
child 58889 | 5b7a9633cfa8 |
--- a/src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy Wed Oct 29 11:13:24 2014 +0100 +++ b/src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy Wed Oct 29 11:19:27 2014 +0100 @@ -544,7 +544,7 @@ text {* with the simple testing scheme *} -setup {* Exhaustive_Generators.setup_exhaustive_datatype_interpretation *} +setup Exhaustive_Generators.setup_exhaustive_datatype_interpretation declare [[quickcheck_full_support = false]] lemma