src/HOL/Quickcheck_Examples/Completeness.thy
2012-03-30 wenzelm 2012-03-30 tuned proofs, less guesswork;
2012-03-30 bulwahn 2012-03-30 adding theory to prove completeness of the exhaustive generators