# isabelle_session_info

session_name: HOL-Probability
sources: 98eb9932d0f039ff968d6b31a56f61ccdf619eac
output_heap: d6add1b87c56af53927328c81c7596f7851bf1bd
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
873654236977ae6aa90af4b6acb48693279dd20a


