# isabelle_session_info

session_name: HOL-Probability
sources: b3e183b553d6ce4d397a3f26ebd128821576ba09
output_heap: 5b9c68acfd0b56b9d470ff2555b5765fce4b7b83
input_heaps:
1dae994d72a426784accfc4f3275f57abe406926
825dae3757483ec2a6fb4864069860afce4ab143
3dc72e5f385cb5cc5a7b84137b36d7009ef1cef8


