# isabelle_session_info

session_name: HOL-Probability
sources: 33598a295ef7190088c22f74f7e8e57b0b8c1234
output_heap: e0e610deecaaf5aa8b816b30975e34f30b0aa626
input_heaps:
4ada9fbe83a94b62302e9fff8dd0f370817a1bea
481d4cc41d0a5b79b151d9da80c65ac5da752b1b
a5a78bb70cd18672e5c135c89c9e4bf63ddaef68


