| Sat, 09 Jun 2007 02:38:51 +0200 | huffman | remove dependencies of proofs on constant int::nat=>int, preparing to remove it | changeset | files |
| Sat, 09 Jun 2007 00:28:47 +0200 | wenzelm | eqtype int -- explicitly encourage overloaded equality; | changeset | files |
| Sat, 09 Jun 2007 00:28:46 +0200 | wenzelm | simplified type integer; | changeset | files |