| Tue, 27 Dec 2011 12:27:06 +0100 | huffman | use 'induct arbitrary' instead of 'rule_format' attribute | changeset | files |
| Tue, 27 Dec 2011 12:05:03 +0100 | huffman | declare simp rules immediately, instead of using 'declare' commands | changeset | files |
| Tue, 27 Dec 2011 11:38:55 +0100 | huffman | declare word_of_int_{0,1} [simp], for consistency with word_of_int_bin | changeset | files |