src/HOL/ex/Quickcheck_Examples.thy
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.