# isabelle_session_info

session_name: HOL-Probability
sources: 56d700e053ad5bf90cc0d0e7b35486de26312ea6
output_heap: 0b93a03aadff0337e90694da42c184ff1267ff2b
uuid: b9eec039-dd68-4321-80ad-0925b6e93441
input_heaps:
c269d7ba43311fcdd25b27d2c85675fb79c28bfe
c2c8ccb14b1e30e727060788d8f6b1001e9bfa2a
940589066b16bbacc500df1f735992dff6d3355f


