# isabelle_session_info

session_name: HOL-Probability
sources: 9a567c366602ba93483e46c48084fa80470fe188
output_heap: a80e70017ab3e310fe0d9a79527be7d46d97e915
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
d1bae9d7a875a48f96c7d115e36ce063ca8d43ae


