src/HOL/Tools/quickcheck_generators.ML
2010-03-20 wenzelm 2010-03-20 renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
2010-02-25 bulwahn 2010-02-25 added basic reporting of test cases to quickcheck
2010-02-17 haftmann 2010-02-17 tuned primrec signature: return definienda
2010-01-27 haftmann 2010-01-27 corrected type of typecopy constructor
2009-12-07 haftmann 2009-12-07 split off evaluation mechanisms in separte module Code_Eval
2009-11-30 haftmann 2009-11-30 modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML
2009-11-19 wenzelm 2009-11-19 adapted Local_Theory.define -- eliminated odd thm kind;
2009-11-13 wenzelm 2009-11-13 modernized structure Local_Theory;
2009-11-13 wenzelm 2009-11-13 eliminated slightly odd kind argument of LocalTheory.note(s); added LocalTheory.notes_kind as fall-back for unusual cases;
2009-11-13 wenzelm 2009-11-13 eliminated obsolete "generated" kind -- collapsed to unspecific "" (definitely unused according to Lukas Bulwahn);
2009-11-10 wenzelm 2009-11-10 modernized structure Theory_Target;
2009-11-10 wenzelm 2009-11-10 removed unused Quickcheck_RecFun_Simps;
2009-10-28 wenzelm 2009-10-28 tuned;
2009-10-27 wenzelm 2009-10-27 normalized basic type abbreviations;
2009-10-26 haftmann 2009-10-26 conceal quickcheck generators
2009-10-24 wenzelm 2009-10-24 handle Sorts.CLASS_ERROR instead of arbitrary exceptions;
2009-10-21 blanchet 2009-10-21 renamed "nitpick_const_xxx" attributes to "nitpick_xxx" and "nitpick_ind_intros" to "nitpick_intros"
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-17 wenzelm 2009-10-17 operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-23 haftmann 2009-09-23 Code_Eval(uation)
2009-08-15 haftmann 2009-08-15 tuned
2009-07-30 haftmann 2009-07-30 more appropriate printing of function terms
2009-07-10 haftmann 2009-07-10 tuned
2009-07-06 haftmann 2009-07-06 tuned code
2009-07-03 haftmann 2009-07-03 proper closures -- imperative programming considered harmful...
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms; simplified/unified names of instances of Named_Thms;
2009-06-29 haftmann 2009-06-29 canonical prefix for datatype derivates
2009-06-23 haftmann 2009-06-23 tuned proof
2009-06-23 haftmann 2009-06-23 tuned interfaces of datatype module
2009-06-21 haftmann 2009-06-21 more precise computation of sort constraints
2009-06-21 haftmann 2009-06-21 simplified names of common datatype types
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-17 haftmann 2009-06-17 merged
2009-06-16 haftmann 2009-06-16 datatype packages: record datatype_config for configuration flags; less verbose signatures
2009-06-15 wenzelm 2009-06-15 merged
2009-06-15 wenzelm 2009-06-15 made SML/NJ happy;
2009-06-15 haftmann 2009-06-15 hide constant Quickcheck.random
2009-06-14 haftmann 2009-06-14 dropped diagnostic handles
2009-06-13 haftmann 2009-06-13 using SkipProof where appropriate
2009-06-13 haftmann 2009-06-13 quickcheck generators for datatypes with functions
2009-06-11 haftmann 2009-06-11 explicit instantiation yields considerable speedup
2009-06-10 haftmann 2009-06-10 tuned whitespace
2009-06-10 haftmann 2009-06-10 correct check for instantiatability
2009-06-10 haftmann 2009-06-10 revised interpretation combinator for datatype constructions
2009-06-09 haftmann 2009-06-09 first running version of qc generators for datatypes
2009-06-08 haftmann 2009-06-08 added infrastructure for definitorial construction of generators for datatypes
2009-05-26 haftmann 2009-05-26 separate module for quickcheck generators