# isabelle_session_info

session_name: HOL-Probability
sources: 77c15ea8bc4a704fccd21fafb14104e8fc078018
output_heap: 0299778d71bd35c655e6eaac61312894e8c841c6
input_heaps:
70530a60d7a1ec8e16f4035f71956f8b73a92183
a118c00bfcc49eea4ae117e80d0baf72a5a326ca
16514d156323ae4779c2d106e04d5f407c4b6add


