| Thu, 14 Jun 2007 00:22:45 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 19:14:51 +0200 | huffman | int abbreviates of_nat | changeset | files |
| Wed, 13 Jun 2007 18:30:17 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 18:30:16 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 18:30:15 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | changeset | files |
| Wed, 13 Jun 2007 16:43:02 +0200 | huffman | clean up instance proofs; reorganize section headings | changeset | files |