# isabelle_session_info

session_name: HOL-ex
sources: 581541b252a2d880277ffded15737a03ba06e939
input_heaps:
badbc4e6c4622427a16d1301f7959041c62bf6c4
ce95a93ff4b579885a0c343bf2559c84f850ef37
413d44817c595c4f04b665f8d5dd091b062ed709
bca9ff8cfe40dc6574ebe8c24721661de1e02000
e017894130a8665dbcb78b8e4e86960a030748bc


