src/HOL/Tools/quickcheck_generators.ML
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