| Wed, 10 Dec 2008 07:52:54 -0800 | huffman | move nat_{div,mod}_distrib from NatBin to IntDiv, simplified proofs | changeset | files |
| Wed, 10 Dec 2008 23:54:03 +0100 | wenzelm | fixed import: requires ContNotDenum; | changeset | files |
| Wed, 10 Dec 2008 23:13:21 +0100 | wenzelm | fixed import: requires ContNotDenum; | changeset | files |
| Wed, 10 Dec 2008 22:46:42 +0100 | wenzelm | requires RComplete; | changeset | files |
| Wed, 10 Dec 2008 06:34:10 -0800 | huffman | merged. | changeset | files |
| Tue, 09 Dec 2008 22:13:16 -0800 | huffman | move all neg-related lemmas to NatBin; make type of neg specific to int | changeset | files |
| Tue, 09 Dec 2008 20:36:20 -0800 | huffman | separate neg_simps from rel_simps | changeset | files |