History log of /seL4-l4v-master/isabelle/src/HOL/Probability/Stopping_Time.thy
Revision Date Author Comments
# 09859749 18-Nov-2018 haftmann <none@none>

removed legacy input syntax
# 1387b04b 19-Dec-2017 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# f63c7c02 20-Oct-2016 hoelzl <none@none>

HOL-Probability: move stopping time from AFP/Markov_Models