2010-12-06 bulwahn 2010-12-06 removing declaration in quickcheck to really enable exhaustive testing
2010-12-03 bulwahn 2010-12-03 declaring quickcheck testers as default after their setup
2010-11-22 bulwahn 2010-11-22 adding Enum to HOL-Main image and removing it from HOL-Library
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-07-09 haftmann 2010-07-09 nicer xsymbol syntax for fcomp and scomp
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-03-31 bulwahn 2010-03-31 adding iterate_upto interface in compilations and iterate_upto functions in Isabelle theories for arithmetic setup of the predicate compiler
2010-03-22 bulwahn 2010-03-22 a new simpler random compilation for the predicate compiler
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2010-01-27 haftmann 2010-01-27 tuned structure; moved non-related quickcheck.setup to Code_Generator.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