# isabelle_session_info

session_name: HOL-Probability
sources: 5ee365cd17faac7112b22281b737caf43f9f67b2
output_heap: bb31e5235d9ffaee46f1584cb9a2b6d9d85db7e9
input_heaps:
ac799521742c6a511fc6b752309e53d5f9492760
7d1e272668ac77c0cb149e8c1935fb9a1f4501b8
c647b00fb5ce092f26989ecfadaef687222ba7d8


