# isabelle_session_info

session_name: HOL-Probability
sources: d8b77efcb6c098d5e1ac0ecd5b6cf5e69e89689e
output_heap: f4edde81d9cb6db833ae59bdae66cc157602a307
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
e70cb633a01dd05cf131b7b1bc92651b3abc880b


