hiding definitional facts in Quickcheck; introducing catch_match more honestly
hiding definitional facts in Quickcheck; introducing catch_match more honestly

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