| Thu, 14 Jun 2007 18:33:31 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Wed, 06 Jun 2007 17:01:33 +0200 | huffman | generalize class constraints on some lemmas | file | diff | annotate |
| Mon, 04 Jun 2007 15:43:30 +0200 | haftmann | tuned comments | file | diff | annotate |