# isabelle_session_info

session_name: HOL-Probability
sources: 8be752a79ac0437ba043a58cee3d4e2d86e2548a
output_heap: 556ed062c68812a5bb605cc3e409abc6d00ef9ac
input_heaps:
d3f289e5195aaefd6aafc967100d776a58ce0b4f
29fed47a579a81d17666737d5ee8d107ce867490
f7bfa0b6cec0c9f27190fb7092e7efe07fbab330


