# isabelle_session_info

session_name: HOL-Probability
sources: fabe698f2fa9aae20866661c2b262e53553ece3b
output_heap: d10d84d74d9a89dc1aca0147c75d4651e3253e8f
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
9aa36ae041eb54d18996a03f0e9e62d3dffc8f04


