History log of /seL4-l4v-master/HOL4/examples/computability/kolmog/kolmog_priorScript.sml
Revision Date Author Comments
# fcbac179 25-Jan-2020 ejcatt <ejcatt@gmail.com>

Several edits for paper
# a25774d4 10-Jan-2020 ejcatt <ejcatt@gmail.com>

Proved extra_information1
# 131734d2 21-Oct-2019 ejcatt <ejcatt@gmail.com>

Added kolmog_prior