increasing quickcheck's timeout in the example theory to avoid failures on the testing infrastructure
increasing quickcheck's timeout in the example theory to avoid failures on the testing infrastructure

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