| 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 |
| Wed, 03 Dec 2008 21:15:46 +0100 | wenzelm | eliminated traces of old Distribution directory; | changeset | files |