Fri, 07 Dec 2012 14:29:09 +0100 
hoelzl 
add exponential and uniform distributions

file 
diff 
annotate

Thu, 15 Nov 2012 15:50:01 +0100 
immler 
generalized to copy of countable types instead of instantiation of nat for discrete topology

file 
diff 
annotate

Thu, 15 Nov 2012 11:16:58 +0100 
immler 
added projective limit;

file 
diff 
annotate

Thu, 15 Nov 2012 10:49:58 +0100 
immler 
regularity of measures, therefore:

file 
diff 
annotate

Mon, 23 Apr 2012 12:14:35 +0200 
hoelzl 
reworked Probability theory

file 
diff 
annotate

Thu, 01 Dec 2011 15:41:48 +0100 
hoelzl 
do not import examples Probability theory

file 
diff 
annotate

Mon, 27 Jun 2011 09:42:46 +0200 
hoelzl 
move conditional expectation to its own theory file

file 
diff 
annotate

Fri, 20 May 2011 21:38:32 +0200 
hoelzl 
Add restricted borel measure to {0 .. 1}

file 
diff 
annotate

Tue, 17 May 2011 11:47:36 +0200 
hoelzl 
Add formalization of probabilistic independence for families of sets

file 
diff 
annotate

Tue, 29 Mar 2011 14:27:42 +0200 
hoelzl 
rename Probability_Space to Probability_Measure

file 
diff 
annotate

Tue, 29 Mar 2011 14:27:41 +0200 
hoelzl 
add infinite product measure

file 
diff 
annotate

Mon, 14 Mar 2011 14:37:49 +0100 
hoelzl 
reworked Probability theory: measures are not type restricted to positive extended reals

file 
diff 
annotate

Wed, 02 Feb 2011 12:34:45 +0100 
hoelzl 
the measure valuation is again part of the measure_space type, instead of an explicit parameter to the locale;

file 
diff 
annotate

Wed, 01 Dec 2010 19:20:30 +0100 
hoelzl 
Support product spaces on sigma finite measures.

file 
diff 
annotate

Wed, 07 Apr 2010 17:24:44 +0200 
hoelzl 
Added Information theory and Example: dining cryptographers

file 
diff 
annotate

Tue, 16 Mar 2010 16:27:28 +0100 
hoelzl 
Added product measure space

file 
diff 
annotate

Thu, 04 Mar 2010 21:52:26 +0100 
hoelzl 
Add Lebesgue integral and probability space.

file 
diff 
annotate

Tue, 10 Nov 2009 09:22:55 +0000 
paulson 
Inserted missing theory dependency

file 
diff 
annotate

Mon, 09 Nov 2009 19:42:33 +0100 
wenzelm 
eliminated hard tabulators;

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
