| Wed, 03 Dec 2008 21:00:39 -0800 | huffman | fix proofs related to simplification of inequalities on numerals | changeset | files |
| 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 |
| Wed, 03 Dec 2008 15:00:50 -0800 | huffman | fixed proofs due to changes in Int.thy | changeset | files |
| Wed, 03 Dec 2008 14:23:03 -0800 | huffman | cleaned up subsection headings; | changeset | files |
| Wed, 03 Dec 2008 21:22:38 +0100 | wenzelm | sources are not executable; | changeset | files |