# isabelle_session_info

session_name: HOL-ex
sources: 5d7203dc24e2cc1dd1995c408441b9245ad3d849
uuid: d6048f83-35fd-4021-a59b-f7c8c78f75f4
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5
241b8dafd9f13f40deef419782260fabff47b550
de126fc7c6dabf8f73e0f2fae8a398e0a4c5f84a


