| 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 |