Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | fixing comment in library | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adapting predicate_compile_quickcheck | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding a nice definition of Id_on for quickcheck and nitpick | changeset | files |