src/HOL/Quickcheck_Examples/Quickcheck_Interfaces.thy
2013-02-25 wenzelm 2013-02-25 prefer stateless 'ML_val' for tests;
2012-07-02 bulwahn 2012-07-02 adding some minimal documentation and an example of quickcheck's interfaces