# isabelle_session_info

session_name: HOL-Probability
sources: 6c463817a7146a93887af44d5ea5713ccbd76259
output_heap: 3b72e5754be0fd557cf7cce230337436e0038629
input_heaps:
4a4f54a92f149cb91f86d6ede33321d86d379713
9ad138bceb8124b0333eaaccb8c4fbbc943ef49a
fa2c50f07751511a65d31c3ac763f58849bc8507


