| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | adapting Main file generation for Quickcheck_Narrowing | file | diff | annotate |
| Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better | file | diff | annotate | base |