| Mon, 18 Jul 2011 13:49:26 +0200 | bulwahn | unactivating narrowing-based quickcheck by default | changeset | files |
| Mon, 18 Jul 2011 13:48:35 +0200 | bulwahn | making active configuration public in narrowing-based quickcheck | changeset | files |
| Mon, 18 Jul 2011 11:38:14 +0200 | bulwahn | declare tester in this quickcheck example | changeset | files |
| Mon, 18 Jul 2011 10:34:21 +0200 | bulwahn | adding code equations for partial_term_of for rational numbers | changeset | files |