| Mon, 14 Mar 2011 15:13:00 +0100 | wenzelm | isatest: fresh copy of settings avoids odd cumulative environment; | changeset | files |
| Mon, 14 Mar 2011 12:34:12 +0100 | bulwahn | tuned exhaustive_generators | changeset | files |
| Mon, 14 Mar 2011 12:34:11 +0100 | bulwahn | removing definition of cons0; hiding constants in Quickcheck_Narrowing | changeset | files |