| Tue, 11 May 2010 19:21:05 +0200 | hoelzl | Removed usage of normalizating locales. | file | diff | annotate |
| Sun, 09 May 2010 22:51:11 -0700 | huffman | avoid using real-specific versions of generic lemmas | file | diff | annotate |
| Fri, 07 May 2010 09:59:24 +0200 | haftmann | prefix normalizing replaces class_semiring | file | diff | annotate |
| Mon, 03 May 2010 14:35:10 +0200 | hoelzl | Cleanup information theory | file | diff | annotate |
| Fri, 26 Mar 2010 18:03:01 +0100 | hoelzl | Added finite measure space. | file | diff | annotate |
| Tue, 16 Mar 2010 16:27:28 +0100 | hoelzl | Added product measure space | file | diff | annotate |
| Fri, 12 Mar 2010 15:35:41 +0100 | hoelzl | Equality of integral and infinite sum. | file | diff | annotate |
| Mon, 08 Mar 2010 11:30:55 +0100 | hoelzl | Moved theorems in Lebesgue to the right places | file | diff | annotate |
| Thu, 04 Mar 2010 21:52:26 +0100 | hoelzl | Add Lebesgue integral and probability space. | file | diff | annotate |