# isabelle_session_info

session_name: HOL-Probability
sources: 93c578e7b2495abfcfce9367e78fa3bcf06c5249
output_heap: 60eb60edc97b5f144aceccc40e5992411da9f12e
input_heaps:
119ecd3e4617a6498736c052214d7e7adff34d7d
0a58e77107b6447412309e7161b33a2201d96314
b0459c1cc60f51088b673a6f4871291cf944fff0


