# isabelle_session_info

session_name: HOL-Probability
sources: ef4fbe0b13a21304c17984b4474a40a0eedc9d27
output_heap: 88cde90a4e583336e6d8a0fc8f105c67d544aa4f
input_heaps:
6e0b414cde7cbca05415ec6e5bf86c58afea3732
f9895dcd254f82aab3b7e4ca41b9f20af3db58f1
14f779870f8bdb195fccc3e2690bd361815ae64b


