# isabelle_session_info

session_name: HOL-Probability
sources: 33086436e1157a883eb6a4c674eb5324beffb719
output_heap: 002b27f545c6ec8c36dd75fea1550bf0e07c91b8
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
d10aab0a90087f896480fca1403a0dd02cd256be


