# isabelle_session_info

session_name: HOL-Probability
sources: fb21c34ac2dc9a79bdae13d85e02211cc069a87d
output_heap: 751d3a02ccf87da7c879f1faf0ef847e4c9372f3
input_heaps:
9e57621fc6e68a5512aa3bfd26eb21db38620196
a4b348888fd6bb25a5848142d09c6ff446a0d19b
4876275f6f6b2b28b6628a66bf37e5c461c3d6cc


