Fri, 03 Dec 2010 09:58:32 +0100 | bulwahn | NEWS | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | only instantiate type variable if there exists some in quickcheck | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | fixing comment in library | changeset | files |