src/HOL/Probability/Probability.thy
Mon, 27 Jun 2011 09:42:46 +0200 hoelzl move conditional expectation to its own theory file
Fri, 20 May 2011 21:38:32 +0200 hoelzl Add restricted borel measure to {0 .. 1}
Tue, 17 May 2011 11:47:36 +0200 hoelzl Add formalization of probabilistic independence for families of sets
Tue, 29 Mar 2011 14:27:42 +0200 hoelzl rename Probability_Space to Probability_Measure
Tue, 29 Mar 2011 14:27:41 +0200 hoelzl add infinite product measure
Mon, 14 Mar 2011 14:37:49 +0100 hoelzl reworked Probability theory: measures are not type restricted to positive extended reals
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;
Wed, 01 Dec 2010 19:20:30 +0100 hoelzl Support product spaces on sigma finite measures.
Wed, 07 Apr 2010 17:24:44 +0200 hoelzl Added Information theory and Example: dining cryptographers
Tue, 16 Mar 2010 16:27:28 +0100 hoelzl Added product measure space
Thu, 04 Mar 2010 21:52:26 +0100 hoelzl Add Lebesgue integral and probability space.
Tue, 10 Nov 2009 09:22:55 +0000 paulson Inserted missing theory dependency
Mon, 09 Nov 2009 19:42:33 +0100 wenzelm eliminated hard tabulators;
Wed, 28 Oct 2009 11:42:31 +0000 paulson New theory Probability, which contains a development of measure theory
less more (0) tip