# isabelle_session_info

session_name: HOL-Probability
sources: bc0bf1501b9e188e971c15435d0e6d849f22cd1c
output_heap: ba07b83b069a8ecf9b383adaadd0a358812bcbe0
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
6fbefaee91d52ff7511d3d4cf95750b31e81104f


