# isabelle_session_info

session_name: HOL-Homology
sources: e36233c753e7e83e3bbb80fc168c4525cc407e18
uuid: b925bca1-9086-49b6-93c2-a3a59922eaf7
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
237ad23d0c4a9570f7f33a48d31bb2c23fad1294


