| Wed, 28 Dec 2011 22:08:44 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Dec 2011 20:05:52 +0100 | huffman | merged | changeset | files |
| Wed, 28 Dec 2011 20:05:28 +0100 | huffman | restate some lemmas to respect int/bin distinction | changeset | files |
| Wed, 28 Dec 2011 19:15:28 +0100 | huffman | simplify some proofs | changeset | files |
| Wed, 28 Dec 2011 18:50:35 +0100 | huffman | add lemma word_eq_iff | changeset | files |
| Wed, 28 Dec 2011 18:33:03 +0100 | huffman | restate lemma word_1_no in terms of Numeral1 | changeset | files |
| Wed, 28 Dec 2011 18:27:34 +0100 | huffman | remove recursion combinator bin_rec; | changeset | files |
| Wed, 28 Dec 2011 16:24:28 +0100 | huffman | simplify definition of XOR for type int; | changeset | files |
| Wed, 28 Dec 2011 16:10:49 +0100 | huffman | simplify definition of OR for type int; | changeset | files |
| Wed, 28 Dec 2011 16:04:58 +0100 | huffman | simplify definition of NOT for type int | changeset | files |
| 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 |
| Wed, 28 Dec 2011 10:48:39 +0100 | huffman | simplify proof | changeset | files |
| Wed, 28 Dec 2011 10:30:43 +0100 | huffman | replace 'lemmas' with explicit 'lemma' | changeset | files |