| Tue, 13 Dec 2011 11:26:10 +0100 | huffman | reorder some definitions and proofs, in preparation for new numeral representation | changeset | files |
| Tue, 13 Dec 2011 23:22:27 +0100 | wenzelm | merged | changeset | files |
| Tue, 13 Dec 2011 22:44:16 +0100 | noschinl | added lemmas | changeset | files |