src/HOL/Probability/Information.thy
2010-09-02 hoelzl 2010-09-02 move lemmas to correct theory files
2010-08-23 hoelzl 2010-08-23 Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.
2010-05-04 hoelzl 2010-05-04 Corrected imports; better approximation of dependencies.
2010-05-03 hoelzl 2010-05-03 Cleanup information theory
2010-05-03 hoelzl 2010-05-03 Moved Convex theory to library.
2010-04-07 hoelzl 2010-04-07 Added Information theory and Example: dining cryptographers