# isabelle_session_info

session_name: HOL-Probability
sources: 9ce320f2a84792fabc4d2e2ace9dd63d1548b514
output_heap: c1634f40b004f5d2b2dc1f97c85c0df9566c0b1d
input_heaps:
5b51a36775445032f763e9aee0002c7eaccf2b7f
35fe7ce9fdc3c090128037489da424d18eb375e8
fa13bc09f777776eda60890049cc2474b45d8319


