--- a/src/HOL/Probability/Probability.thy Mon Oct 06 21:21:46 2014 +0200 +++ b/src/HOL/Probability/Probability.thy Tue Oct 07 10:34:24 2014 +0200 @@ -7,6 +7,7 @@ Distributions Probability_Mass_Function Stream_Space + Giry_Monad begin end