| 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 |