Sun, 09 May 2010 22:51:11 -0700 | huffman | avoid using real-specific versions of generic lemmas | changeset | files |
Sun, 09 May 2010 17:47:43 -0700 | huffman | avoid using real-specific versions of generic lemmas | changeset | files |
Sun, 09 May 2010 14:21:44 -0700 | huffman | remove a couple of redundant lemmas; simplify some proofs | changeset | files |