Thu, 20 May 2010 21:19:38 -0700 |
huffman |
speed up some proofs and fix some warnings
|
file |
diff |
annotate
|
Tue, 04 May 2010 21:03:50 -0700 |
huffman |
avoid using '...' with LIMSEQ (cf. 1cc4ab4b7ff7)
|
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
|
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
|
Fri, 13 Nov 2009 14:14:04 +0100 |
nipkow |
renamed lemmas "anti_sym" -> "antisym"
|
file |
diff |
annotate
|
Mon, 09 Nov 2009 19:42:33 +0100 |
wenzelm |
eliminated hard tabulators;
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 12:21:38 +0000 |
paulson |
Probability tweaks
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 11:42:31 +0000 |
paulson |
New theory Probability, which contains a development of measure theory
|
file |
diff |
annotate
|