src/HOL/Probability/Stopping_Time.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
19 months ago wenzelm 2017-12-19 isabelle update_cartouches -c -t;
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models