# isabelle_session_info

session_name: HOL-ex
sources: babfc888c63d7b0ab472deafbeeb636405622cbb
input_heaps:
dfb2cff39355450cfd9a38d0868c45c739868d18
7c72e15715919641b0ffd3d741f84942d786d5cb
e277d9715692c228eb3bbaf9aeb5789a062411aa
0f899e6cc022c2b74b94f9144f8ae6ad18c0d735
b4cf1b1aba873886b4fffa827c432a1813aa6c47


