# isabelle_session_info

session_name: HOL-Probability
sources: 2828eeb1efa128f351e4c1882a8de0aae5480f4a
output_heap: ad6b63f0b72ec138be4fcf96ddc838b8451284aa
input_heaps:
e8eb12ec958edf5a5d2cbf15395a8cea53977f53
d1f8b402b68bdff9c63c026506ecef83f5f68c00
db5ae5c592e67009b13e862cb0ba621337695ca7


