| Wed, 14 Sep 2005 01:47:06 +0200 | huffman | removed duplicated lemmas; convert more proofs to transfer principle | file | diff | annotate |
| Mon, 12 Sep 2005 23:27:12 +0200 | huffman | list of constants and theorems whose names have been changed or merged | file | diff | annotate |