Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | correcting wellsortedness check and improving error message | changeset | files |
Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | using multiple default types in quickcheck | changeset | files |
Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | correcting merging of default_types | changeset | files |