Cross Reference: kolmog_priorScript.sml
xref
: /
seL4-l4v-master
/
HOL4
/
examples
/
computability
/
kolmog
/
kolmog_priorScript.sml
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/HOL4/examples/computability/kolmog/
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