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 |
Fri, 11 Mar 2011 15:21:13 +0100 | bulwahn | correcting dependencies in IsaMakefile | changeset | files |