| Mon, 22 Nov 2010 15:45:42 +0100 | boehmes | added prove reconstruction for injective functions; | changeset | files |
| Mon, 22 Nov 2010 14:27:42 +0100 | haftmann | generous timeout gives more breath in parallel run on less luxury machines | changeset | files |
| Mon, 22 Nov 2010 14:19:03 +0100 | bulwahn | adding setup for exhaustive testing in example file | changeset | files |
| Mon, 22 Nov 2010 11:35:11 +0100 | bulwahn | hiding enum | changeset | files |
| Mon, 22 Nov 2010 11:35:09 +0100 | bulwahn | adapting example in Predicate_Compile_Examples | changeset | files |
| Mon, 22 Nov 2010 11:35:07 +0100 | bulwahn | hiding the constants | changeset | files |
| Mon, 22 Nov 2010 11:35:06 +0100 | bulwahn | improving function is_iterable in quickcheck | changeset | files |