mn200/HOL — pull request #67 by mhamdi (2012-07-19 02:33:45+00:00)
Title: Added Probability Theory

Hi Michael,

I just the probability files. This is my first experience with git, I hope I did it right.

Thanks,
Tarek