Thu, 19 Feb 2009 16:51:46 -0800 | huffman | number_ring instances for numeral types | changeset | files |
Thu, 19 Feb 2009 12:37:03 -0800 | huffman | declare xor_compl_{left,right} [simp] | changeset | files |
Thu, 19 Feb 2009 12:26:32 -0800 | huffman | add rule for minus 1 at type bit | changeset | files |