Fri, 22 Oct 2010 06:08:51 -0700 | huffman | simplify proofs about flift; remove unneeded lemmas | changeset | files |
Fri, 22 Oct 2010 05:54:54 -0700 | huffman | simplify proof | changeset | files |
Thu, 21 Oct 2010 15:21:39 -0700 | huffman | minimize imports | changeset | files |