Sun, 28 Aug 2011 09:20:12 -0700 | huffman | discontinue many legacy theorems about LIM and LIMSEQ, in favor of tendsto theorems | file | diff | annotate |
Fri, 19 Aug 2011 18:06:27 -0700 | huffman | remove redundant lemma lemma_DERIV_subst in favor of DERIV_cong | file | diff | annotate |
Fri, 19 Aug 2011 15:54:43 -0700 | huffman | Lim.thy: legacy theorems | file | diff | annotate |
Tue, 16 Aug 2011 09:31:23 -0700 | huffman | add simp rules for isCont | file | diff | annotate |
Mon, 15 Aug 2011 09:08:17 -0700 | huffman | simplify some proofs | file | diff | annotate |
Mon, 08 Aug 2011 16:57:37 -0700 | huffman | remove duplicate lemmas | file | diff | annotate |
Fri, 14 Jan 2011 15:44:47 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |