# isabelle_session_info

session_name: HOL-Probability
sources: cf5fc75cf3e47ec3951fd92844a0a5fc9d1f0735
output_heap: a72cfa1307186a5ff330dc297356e0d902d65868
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
5b0b7afa61c9b992adf6c6eb16ce217453ecc1f4


