# isabelle_session_info

session_name: HOL-Probability
sources: 5b5d0ba6f9f8ac7d248dfd046cb01b1a015a02de
output_heap: aed705b1f3e9ea7b5c85c7a51787c7ed6fc55ce0
uuid: ed7424ec-7497-4f09-82e0-62b713749e68
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
25e8952427158bd8136bea860de6917f9b748a80


