# isabelle_session_info

session_name: HOL-Probability
sources: 8a08e6d9b7b3c051cad03b79b87288abe28fda62
output_heap: b6bbe9c7a55ee0c5e19b7deb8c91fd1852ecce33
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
f1e71b097de31129d7bd4739310d36e4ee2da620


