Mon, 15 Aug 2011 16:18:13 -0700 | huffman | remove extraneous subsection heading | changeset | files |
Mon, 15 Aug 2011 15:11:55 -0700 | huffman | generalized lemma closed_Collect_eq | changeset | files |
Mon, 15 Aug 2011 14:50:24 -0700 | huffman | remove duplicate lemma disjoint_iff | changeset | files |