| Tue, 13 Dec 2011 12:05:47 +0100 | huffman | remove some unwanted numeral-representation-specific simp rules | changeset | files |
| Tue, 13 Dec 2011 11:48:59 +0100 | huffman | remove redundant lemmas | changeset | files |
| Tue, 13 Dec 2011 11:26:10 +0100 | huffman | reorder some definitions and proofs, in preparation for new numeral representation | changeset | files |