| Tue, 21 Feb 2012 13:15:25 +0100 | bulwahn | merged | changeset | files |
| Tue, 21 Feb 2012 12:20:33 +0100 | bulwahn | subtype preprocessing in Quickcheck; | changeset | files |
| Tue, 21 Feb 2012 11:25:48 +0100 | bulwahn | adding parsing of an optional predicate with quickcheck_generator command | changeset | files |
| Tue, 21 Feb 2012 13:10:13 +0100 | wenzelm | updated generated files (cf. 8d51b375e926); | changeset | files |
| Tue, 21 Feb 2012 12:45:00 +0100 | wenzelm | merged; | changeset | files |
| Tue, 21 Feb 2012 11:08:05 +0100 | huffman | add missing lemmas to compute_div_mod | changeset | files |
| Tue, 21 Feb 2012 11:04:38 +0100 | huffman | remove constant negateSnd in favor of 'apsnd uminus' (from Florian Haftmann) | changeset | files |