| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | correcting merging of default_types | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | reordering quickcheck signature; exporting test_params and inspection function | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | changed default types to a list of types; extended quickcheck parameters to be a list of values to parse a list of default types | changeset | files |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | putting proof in the right context; adding if rewriting; tuned | changeset | files |