# isabelle_session_info

session_name: HOL-Probability
sources: 2bf007954023021a0b6b625c3c6dbe075f45a224
output_heap: c20270c355fd9003971620a4f47d993d880ac35b
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
98a6d27d38772ae69f02c0b8a74c07ecdbc232ab


