src/HOL/Probability/Stopping_Time.thy
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models