--- a/src/HOL/Probability/Probability.thy Mon Oct 17 15:20:06 2016 +0200 +++ b/src/HOL/Probability/Probability.thy Thu Oct 13 18:36:06 2016 +0200 @@ -11,6 +11,7 @@ Random_Permutations SPMF Stream_Space + Conditional_Expectation begin end