# isabelle_session_info

session_name: HOL-Probability
sources: dc226d5e6e18d5e404db575d6a7528f0975e6a42
output_heap: 3c186eda52fa2a4b22106671d1bf22954c0a724d
uuid: 2b44e289-7970-4399-81aa-27dd980ab797
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
59d802dc1762c9a4895f01750e720cc4a47bf257


