Mon, 12 Sep 2011 11:54:20 -0700 | huffman | remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def | changeset | files |
Mon, 12 Sep 2011 11:39:29 -0700 | huffman | simplify proofs using LIMSEQ lemmas | changeset | files |
Mon, 12 Sep 2011 10:43:36 -0700 | huffman | remove trivial lemma Lim_at_iff_LIM | changeset | files |