Wed, 28 Dec 2011 13:20:46 +0100 | huffman | add several new tests, most of which don't work yet | changeset | files |
Wed, 28 Dec 2011 12:55:37 +0100 | huffman | fix typos | changeset | files |
Wed, 28 Dec 2011 12:52:23 +0100 | huffman | remove some duplicate lemmas | changeset | files |