src/HOL/Library/SML_Quickcheck.thy
2011-03-30 bulwahn 2011-03-30 adding a regression test for SML_Quickcheck; putting SML_Quickcheck back in shape
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-18 bulwahn 2011-03-18 adapting SML_Quickcheck
2010-12-03 bulwahn 2010-12-03 adapting SML_Quickcheck to recent changes
2010-09-09 bulwahn 2010-09-09 changing the container for the quickcheck options to a generic data
2010-06-10 haftmann 2010-06-10 moved inductive_codegen to place where product type is available; tuned structure name
2009-11-19 berghofe 2009-11-19 Added new counterexample generator SML_inductive for goals involving inductive predicates.
2009-10-23 haftmann 2009-10-23 turned off old quickcheck