Wed, 03 Dec 2008 20:45:42 -0800 | huffman | enable le_bin_simps and less_bin_simps for simplifying inequalities on numerals | changeset | files |
Wed, 03 Dec 2008 20:24:17 -0800 | huffman | simplify proof of less_nat_number_of | changeset | files |
Wed, 03 Dec 2008 15:04:37 -0800 | huffman | merged. | changeset | files |