src/HOL/Quickcheck.thy
changeset 40973 890fefa597af
parent 40915 a4c956d1f91f
child 41922 fc070c5f3a4c
     1.1 --- a/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:44 2010 +0100
     1.2 +++ b/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:45 2010 +0100
     1.3 @@ -129,7 +129,6 @@
     1.4  use "Tools/quickcheck_generators.ML"
     1.5  setup Quickcheck_Generators.setup
     1.6  
     1.7 -declare [[quickcheck_tester = random]]
     1.8  
     1.9  subsection {* Code setup *}
    1.10