# isabelle_session_info

session_name: HOL-Probability
sources: 55e4e5a3d9d1179de8c1baf8cdcc29037ef7c0c2
output_heap: 447b91eb3429e75d1a28b1e079f20d10e0dd620f
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
8d4321ea3a63542efcc2eeabd02c563b82b91bad
98c776e8a46c341f3892c4f72257864bf33a74ec


