| Thu, 26 Jan 2012 09:52:47 +0100 | nipkow | tuned | changeset | files |
| Wed, 25 Jan 2012 16:07:48 +0100 | bulwahn | adding very basic code generation to Wellfounded theory | changeset | files |
| Wed, 25 Jan 2012 16:07:41 +0100 | bulwahn | removing dead code from Mutabelle; tuned | changeset | files |
| Wed, 25 Jan 2012 15:19:04 +0100 | bulwahn | generalizing check if size matters because it is different for random and exhaustive testing | changeset | files |
| Wed, 25 Jan 2012 09:50:34 +0100 | bulwahn | merged | changeset | files |
| Wed, 25 Jan 2012 09:32:23 +0100 | bulwahn | adding code equation for Collect on finite types | changeset | files |
| Tue, 24 Jan 2012 16:00:51 +0100 | berghofe | Use lookup_size rather than Datatype.get_info in is_poly to avoid | changeset | files |
| Tue, 24 Jan 2012 09:13:24 +0100 | bulwahn | adding some rules to quickcheck's preprocessing | changeset | files |