# isabelle_session_info

session_name: HOL-Probability
sources: 5d8ed34cf6c75c176ae5ae40357581d6420203d2
output_heap: 11278178829beb63412d555f61242e9acaf692ab
input_heaps:
9d98e7572661a1502ccca3e0adfad8c7205ee347
9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5
d7ec4f7b1a11cd5d4a3ad32285518a38ebf3c7a0


