# isabelle_session_info

session_name: HOL-Probability
sources: 77c15ea8bc4a704fccd21fafb14104e8fc078018
output_heap: 7aca0c36f5d2e1c3f74c7099622859a53be1fab4
input_heaps:
b1229b1545e0527f3af637d3b7e4d9e29c3516a6
2e63f8b985a17038023d038a775f53bd77337d39
d69024f40826f6bcebd10ce51153974e9631c3ff


