| Tue, 17 Apr 2012 16:21:47 +1000 | Thomas Sewell | New tactic "word_bitwise" expands word equalities/inequalities into logic. | file | diff | annotate |
| Tue, 10 Jan 2012 15:43:16 +0100 | huffman | add simp rules for set_bit and msb applied to 0 and 1 | file | diff | annotate |
| Tue, 10 Jan 2012 14:48:42 +0100 | huffman | add simp rule test_bit_1 | file | diff | annotate |