Sat, 13 Jun 2009 09:16:25 +0200 | haftmann | quickcheck generators for datatypes with functions | changeset | files |
Sat, 13 Jun 2009 09:16:24 +0200 | haftmann | more convenient signature for random_fun_lift | changeset | files |
Sun, 14 Jun 2009 03:02:25 +0200 | wenzelm | improved correctness of get_first (boundary check); | changeset | files |