| 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 |
| Tue, 21 Feb 2012 08:15:42 +0100 | haftmann | reverting changesets from 5d33a3269029 on: change of order of declaration of classical rules makes serious problems | changeset | files |