| Thu, 17 Nov 2011 06:01:47 +0100 | huffman | Int.thy: remove duplicate lemmas double_less_0_iff and odd_less_0, use {even,odd}_less_0_iff instead | changeset | files |
| Thu, 17 Nov 2011 05:27:45 +0100 | huffman | merged | changeset | files |
| Wed, 16 Nov 2011 15:20:27 +0100 | huffman | rewrite integer numeral div/mod simprocs to not return conditional rewrites; add regression tests | changeset | files |
| Wed, 16 Nov 2011 13:58:31 +0100 | huffman | remove redundant lemmas bin_last_mod and bin_rest_div, use bin_last_def and bin_rest_def instead | changeset | files |