src/HOL/Probability/Probability.thy
changeset 64320 ba194424b895
parent 64289 42f28160bad9
child 66026 704e4970d703
     1.1 --- a/src/HOL/Probability/Probability.thy	Thu Oct 20 18:41:58 2016 +0200
     1.2 +++ b/src/HOL/Probability/Probability.thy	Thu Oct 20 18:41:59 2016 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4    Stream_Space
     1.5    Conditional_Expectation
     1.6    Essential_Supremum
     1.7 +  Stopping_Time
     1.8  begin
     1.9  
    1.10  end