# isabelle_session_info

session_name: HOL-Probability
sources: 56d700e053ad5bf90cc0d0e7b35486de26312ea6
output_heap: 8b186375899173b9724c1f65c9f51703809516ad
uuid: ae4adb7e-9ee4-4e7f-8836-912631c1b5e3
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
16d022b4a7d54aa7818df7da3fc6c69965335deb


