# isabelle_session_info

session_name: HOL-Probability
sources: dc6d7b3a83d90cf33096014a5950d837cea88d6e
output_heap: bc7e43d3e97d8d7d5579e8da4b0c2d26a2c762fc
input_heaps:
4956d3a123f88ba684168ae0f47e8c5c96d9a8f0
9f33b4191f60ee90bd8923d099bfa6a3e9a7d12e
c0912680f48cc13d1de567abcbb3b26e8e073a87


