# isabelle_session_info

session_name: HOL-Homology
sources: 976612116c75bac74e7de84952084d96381a80a4
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
9c89601fa6c1f8af7770d53dee94e321354bf590


