| Mon, 12 Dec 2011 19:47:50 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 12 Dec 2011 17:22:48 +0100 | bulwahn | tuned quickcheck's response | changeset | files |
| Mon, 12 Dec 2011 13:45:54 +0100 | bulwahn | hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory; | changeset | files |