| Fri, 30 Dec 2011 16:08:35 +0100 | huffman | add simp rules for bitwise word operations with 1 | file | diff | annotate |
| Wed, 28 Dec 2011 13:20:46 +0100 | huffman | add several new tests, most of which don't work yet | file | diff | annotate |
| Wed, 07 Sep 2011 00:08:09 +0200 | wenzelm | tuned proofs; | file | diff | annotate |