Fri, 06 Nov 2009 08:47:32 +0100 | bulwahn | merged | changeset | files |
Fri, 06 Nov 2009 08:18:35 +0100 | bulwahn | adopted the predicate compile quickcheck | changeset | files |
Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | made definition of functions generically for the different instances | changeset | files |