| Wed, 14 Dec 2011 08:32:48 +0100 | huffman | replace 'lemmas' with 'lemma' | changeset | files |
| Wed, 14 Dec 2011 07:38:30 +0100 | huffman | merged | changeset | files |
| Tue, 13 Dec 2011 18:33:04 +0100 | huffman | more simp rules for sbintrunc | changeset | files |
| Tue, 13 Dec 2011 15:34:59 +0100 | huffman | add simp rules for sbintrunc applied to numerals | changeset | files |
| Tue, 13 Dec 2011 14:39:14 +0100 | huffman | replace many uses of 'lemmas' with explicit 'lemma' | changeset | files |
| Tue, 13 Dec 2011 14:02:02 +0100 | huffman | add lemma bin_nth_zero | changeset | files |
| Tue, 13 Dec 2011 19:21:36 +0100 | huffman | add simp rules for bintrunc applied to numerals | changeset | files |
| Tue, 13 Dec 2011 13:21:48 +0100 | huffman | add simp rules for bin_rest and bin_last applied to numerals | changeset | files |