# isabelle_session_info

session_name: HOL-Probability
sources: e9a1bc17167ba4ffe27aef29b7268788925e51a5
output_heap: f89b0128b92e8810640136a83c20296722cc4419
input_heaps:
09699199a0064efa4710789d1f66cb5c536b4bd6
6d77f8423a201617d8279fb15a05e30d974b2eb8
97190921496f73b8450518e5813f3a56271dbb76


