# isabelle_session_info

session_name: HOL-Algebra
sources: 538e7b397f17bc656e079a93c1a8093d272908e1
output_heap: 3360eaca126ad363c9c6415434ee41b9a41fc547
uuid: 636cc2f3-80c1-4a40-a436-0426d9a481f8
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581
5c31539334c9e8b403b71af82113fca3aca7c435


