# isabelle_session_info

session_name: HOL-Probability
sources: 8a08e6d9b7b3c051cad03b79b87288abe28fda62
output_heap: 9b9045313e231d37e3622389f4ea6755fe57c7c1
input_heaps:
79e36a03a6cccf01470337ebf2c8411e21d944b2
b93bed27caa97c9f4b1f44bbf588fb4ffdfc6b77
5fa273f37c11a289de0db82292340cedac0b8893


