src/HOL/ex/Quickcheck.thy
2008-03-12 haftmann 2008-03-12 separated Random.thy from Quickcheck.thy