src/HOL/ex/SML_Quickcheck_Examples.thy
2011-07-06 bulwahn 2011-07-06 tuning options to avoid spurious isabelle test failures
2011-03-30 bulwahn 2011-03-30 adding a regression test for SML_Quickcheck; putting SML_Quickcheck back in shape