| Mon, 11 Jun 2007 07:10:06 +0200 | huffman | remove references to constant int::nat=>int | changeset | files |
| Mon, 11 Jun 2007 06:14:32 +0200 | huffman | simplify int proofs | changeset | files |
| Mon, 11 Jun 2007 05:20:05 +0200 | huffman | modify proofs to avoid referring to int::nat=>int | changeset | files |
| Mon, 11 Jun 2007 02:25:55 +0200 | huffman | add int_of_nat versions of lemmas about int::nat=>int | changeset | files |