# isabelle_session_info

session_name: HOL-Probability
sources: 7f14392b1abdb28f8ad38c324e64d115d5b49998
output_heap: 450d1d259798902c0b15321dc9a1bb4bc9004a9f
input_heaps:
38ce6d77816dc6421972ade4a9943105b7b0b5cc
8ea3fe9baa62582f6e3bd05adafc5e28dcf02c7b
eef85ac2e2e1c94cdbf2e9d8b311639bbb09b4c6


