| Tue, 13 Dec 2011 13:21:48 +0100 | huffman | add simp rules for bin_rest and bin_last applied to numerals | file | diff | annotate |
| Tue, 13 Dec 2011 13:10:25 +0100 | huffman | add simp rules for bin_sign applied to numerals | file | diff | annotate |
| Tue, 13 Dec 2011 13:05:44 +0100 | huffman | add simp rules for BIT applied to numerals | file | diff | annotate |
| Tue, 13 Dec 2011 12:55:36 +0100 | huffman | declare BIT_eq_iff [iff]; remove unneeded lemmas | file | diff | annotate |
| Tue, 13 Dec 2011 12:36:41 +0100 | huffman | towards removing BIT_simps from the simpset | file | diff | annotate |
| Tue, 13 Dec 2011 12:10:43 +0100 | huffman | type signature for bin_sign | file | diff | annotate |
| Tue, 13 Dec 2011 12:05:47 +0100 | huffman | remove some unwanted numeral-representation-specific simp rules | file | diff | annotate |