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 |