ex/Quickcheck_Examples.thy: respect distinction between sets and functions
ex/Quickcheck_Examples.thy: respect distinction between sets and functions

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle