# isabelle_session_info

session_name: HOL-Probability
sources: f64a3b65c522d7f8577f31a6647eb2bbc6612e7d
output_heap: 4167b5f86b30f587da64f997c4a20c3b98da1d18
input_heaps:
0b7a87e30dfc0251c05aac2be967bb2f98663a00
1e5d70c6c381761a53f8c5bf35dfaac12e4e6a0a
b5bf5fc57d4ffe447dbaa0db4e58fbb191980d2a


