# isabelle_session_info

session_name: HOL-Probability
sources: 5413769fe5ca8d83366de81a43a48be64ec2f6d7
output_heap: aea1a07d37499e3665896a108fa6921f5fe324e8
input_heaps:
047361513188e7c72a6ffd9fc0d5d82009c64e0e
ae9cc23b6b2154e2dab4de08bcc111f7bdffb167
73acbe664dd70f246bab0a75e9266dc3b55b5542


