| Mon, 26 Oct 2015 23:41:27 +0000 | paulson | new lemmas about topology, etc., for Cauchy integral formula | file | diff | annotate |
| Thu, 24 Sep 2015 14:29:08 +0200 | immler | exchange uniform limit and integral | file | diff | annotate |
| Thu, 20 Aug 2015 17:41:50 +0100 | paulson | The Stone-Weierstrass theorem | file | diff | annotate |
| Tue, 28 Jul 2015 16:34:08 +0200 | immler | added theory Uniform_Limit | file | diff | annotate |
| Wed, 28 Jan 2015 11:17:21 +0100 | hoelzl | moved bcontfun from AFP/Ordinary_Differential_Equations | file | diff | annotate |
| Wed, 02 Apr 2014 18:35:02 +0200 | hoelzl | reorder Complex_Analysis_Basics; rename DD to deriv | file | diff | annotate |