temporary removed Predicate_Compile_Quickcheck_Examples from tests
temporary removed Predicate_Compile_Quickcheck_Examples from tests

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