src/HOL/ex/Quickcheck_Examples.thy
2008-01-10 berghofe 2008-01-10 New example involving functions.
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-04-16 berghofe 2004-04-16 Added theory with examples for quickcheck command.