# isabelle_session_info

session_name: HOL-Probability
sources: a1737b169474eb1d61c57ce9907f558bd229978b
output_heap: c433d28c0ad654c57217311f1b2b3c20f7a11a63
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
bff912fca1fd25ea286fa8a7b4aa1a1b73358faa


