| Thu, 20 May 2010 21:19:38 -0700 |
huffman |
speed up some proofs and fix some warnings
|
file |
diff |
annotate
|
| 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
|