# isabelle_session_info

session_name: HOL-Probability
sources: fb5d3f214dcbfa83eb3677b8d491fe4cb18f4f40
output_heap: b221828a29f5766ef8b4f4b20c0b3c9a15ab84d1
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3
2848a3b9ab2f5f1ec32496d62470cbc9c58e1d93


