History log of /seL4-l4v-master/isabelle/src/HOL/Probability/Essential_Supremum.thy
Revision Date Author Comments
# 97b2ecf5 08-Nov-2018 haftmann <none@none>

removed relics of ASCII syntax for indexed big operators
# 7f70b8cc 11-Jul-2018 nipkow <none@none>

updated to renaming
# 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;
# adcafe77 21-Oct-2016 hoelzl <none@none>

HOL-Probability: Essential Supremum as Limsup over ae_filter

--HG--
extra : rebase_source : a06fe8c613fa7121c2b496f2b5b96e2810f54ba5
# d0fb8ca0 20-Oct-2016 hoelzl <none@none>

HOL-Probability: generalize type of essential supremum
# 7ff6a4b8 18-Oct-2016 hoelzl <none@none>

add missing file Essential_Supremum.thy