# isabelle_session_info

session_name: HOL-Probability
sources: 7bda65eb5b8571a83cb79eef38a6371021df9fac
output_heap: ce0cf8ae2214e8da26c1ebd79c1b3e4127063370
input_heaps:
7d1dbd56b7ae23b5a955bd6c5743b21383ee1393
fb3f0a8308eeb92bd5e73d9ddc23c4d0ea3cb1c5
f1cec33db0420d5f4848769569a55a4b52f267ef


