# isabelle_session_info

session_name: HOL-Probability
sources: cd96f69c6edbcc60e365a40bdb48676bef7d4eb2
output_heap: ca29cdf149207cd0984009f99051bee36c40c89a
input_heaps:
af1e669e0b71dd56bcba24adf3b86252347d5dfd
2069bdbc553872fd9e4a20143262cdd7b09dfec6
8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2
fadbe9a65c40003a78ceb30a5e8bd7ada5324056
91a0799979689a1944e74c301b15cb69be60abef


