# isabelle_session_info

session_name: HOL-Probability
sources: 8ec2f51bd05c8ab48bc19360cfb4057d0b6b5b39
output_heap: 07698bb77cdc32ad279daa8b0eac1f848974a6eb
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
3b9edca41ef3030e0a722d7987c2d1d2e4c73333
c266d7cf703f0a28d66aada61d885d8092d55924


