# isabelle_session_info

session_name: HOL-Probability
sources: 64bac0f916c56c3e721d4bcd0ffb7132de0ee498
output_heap: a82241be3908ea75ae9de0489c1459946f674b1e
uuid: 79b58db4-6382-449b-9d85-4e266613a2ce
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
96bfc42146430720dd77dc251b0dca8cddf36f39


