| 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 |
| Tue, 21 Feb 2012 10:30:57 +0100 | huffman | avoid using constant Int.neg | changeset | files |
| Tue, 21 Feb 2012 09:17:53 +0100 | huffman | renamed ex/Numeral.thy to ex/Numeral_Representation.thy | changeset | files |