--- a/src/HOL/Probability/Probability.thy Thu Oct 20 18:41:58 2016 +0200 +++ b/src/HOL/Probability/Probability.thy Thu Oct 20 18:41:59 2016 +0200 @@ -13,6 +13,7 @@ Stream_Space Conditional_Expectation Essential_Supremum + Stopping_Time begin end