20100902 
hoelzl 
20100902 
move lemmas to correct theory files

file  diff  annotate 
20100823 
hoelzl 
20100823 
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.

file  diff  annotate 
20100504 
hoelzl 
20100504 
Corrected imports; better approximation of dependencies.

file  diff  annotate 
20100503 
hoelzl 
20100503 
Cleanup information theory

file  diff  annotate 
20100503 
hoelzl 
20100503 
Moved Convex theory to library.

file  diff  annotate 
20100407 
hoelzl 
20100407 
Added Information theory and Example: dining cryptographers

file  diff  annotate 