| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adding file quickcheck_common to carry common functions of all quickcheck generators | changeset | files |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting record package to renaming of quickcheck's structures | changeset | files |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better | changeset | files |