src/HOL/ex/Quickcheck_Examples.thy
2011-10-03 bulwahn 2011-10-03 adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well
2011-08-13 huffman 2011-08-13 ex/Quickcheck_Examples.thy: respect distinction between sets and functions
2011-07-20 bulwahn 2011-07-20 only use exhaustive testing in this quickcheck example
2011-07-18 bulwahn 2011-07-18 declare tester in this quickcheck example
2011-07-13 bulwahn 2011-07-13 increasing timeout to avoid spurious failures
2011-07-09 bulwahn 2011-07-09 adding quickcheck examples for evaluating floor and ceiling functions
2011-05-05 bulwahn 2011-05-05 adding examples for invoking quickcheck with records
2011-04-20 bulwahn 2011-04-20 adding examples for Quickcheck used within locales
2011-03-30 bulwahn 2011-03-30 generalizing compilation scheme of quickcheck generators to multiple arguments; changing random and exhaustive tester to use one code invocation for polymorphic instances with multiple cardinalities
2011-03-23 bulwahn 2011-03-23 changing timeout behaviour of quickcheck to proceed after command rather than failing; adding a test case for timeout
2010-12-17 bulwahn 2010-12-17 adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
2010-12-03 bulwahn 2010-12-03 adapting quickcheck examples
2010-11-22 bulwahn 2010-11-22 adding setup for exhaustive testing in example file
2010-11-22 bulwahn 2010-11-22 adding temporary options to the quickcheck examples
2010-11-22 bulwahn 2010-11-22 adapting the quickcheck examples
2010-11-22 bulwahn 2010-11-22 adding test cases for smallcheck and adding examples where exhaustive testing is more successful
2010-07-21 bulwahn 2010-07-21 adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples
2010-07-21 bulwahn 2010-07-21 removing obsolete ID in Quickcheck_Examples
2008-09-23 haftmann 2008-09-23 fixed quickcheck parameter syntax
2008-09-22 haftmann 2008-09-22 TEMPORARY: make batch run happy
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.