src/HOL/Quickcheck.thy
2009-10-28 blanchet 2009-10-28 merged my Auto Nitpick change with Lukas's Predicate Compiler changes
2009-10-28 blanchet 2009-10-28 introduced Auto Nitpick in addition to Auto Quickcheck; this required generalizing the theorem hook used by Quickcheck, following a suggestion by Florian
2009-10-27 bulwahn 2009-10-27 hiding randompred definitions
2009-10-27 bulwahn 2009-10-27 including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck
2009-09-23 haftmann 2009-09-23 Code_Eval(uation)
2009-08-14 haftmann 2009-08-14 formally stylized
2009-07-10 haftmann 2009-07-10 tuned quickcheck generator for bool
2009-06-15 haftmann 2009-06-15 hide constant Quickcheck.random
2009-06-13 haftmann 2009-06-13 more convenient signature for random_fun_lift
2009-06-10 haftmann 2009-06-10 tuned order
2009-06-10 haftmann 2009-06-10 revised interpretation combinator for datatype constructions
2009-06-08 haftmann 2009-06-08 added generator for char and trivial generator for String.literal
2009-05-27 haftmann 2009-05-27 added lemma beyond_zero; hide constants
2009-05-26 haftmann 2009-05-26 separate module for quickcheck generators
2009-05-24 haftmann 2009-05-24 merged
2009-05-21 haftmann 2009-05-21 re-added corrected version of type copy quickcheck generator
2009-05-20 haftmann 2009-05-20 removed quickcheck generator for type copies temporarily
2009-05-20 haftmann 2009-05-20 added generator for type copies (records)
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
2009-05-19 haftmann 2009-05-19 moved Code_Index, Random and Quickcheck before Main
2009-05-18 haftmann 2009-05-18 added quickcheck support for numeric types
2009-05-16 haftmann 2009-05-16 experimental move of Quickcheck and related theories to HOL image