# isabelle_session_info

session_name: HOL-Probability
sources: 706e19ceccb05c68d2fd40a8cc34eb674ba78a59
output_heap: 3ec23b3af4c9bf85ace1b819529cf74e6ce5cff2
input_heaps:
5904106a4d189718a398af4707433146ca1890af
45bddc69c5b5116a3b7296b1901d051f8dbd9620
1a7459c1d3f4091aecdfc39c2e7efe5dcac0a009


