# isabelle_session_info

session_name: HOL-Probability
sources: ad72b711fdb87190cace5e1108bd89725b6f4b86
output_heap: b0ac29ee3367547a5c0ec72834fc8aa605c06123
input_heaps:
3eb74d6a5359503e0055a59b42ece26aa296f5b9
dd999f1a178b1375fe14ff16880213d79d49a3b7
887eb96987a554cb4c277d49739a07fd7be276d7


