| Fri, 30 Dec 2011 16:08:35 +0100 | huffman | add simp rules for bitwise word operations with 1 | changeset | files |
| Sat, 31 Dec 2011 17:53:50 +0100 | nipkow | tuned types | changeset | files |
| Sat, 31 Dec 2011 10:15:53 +0100 | krauss | disabled failing sledgehammer unit test (collateral damage of 184d36538e51) | changeset | files |