| 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 |