# isabelle_session_info

session_name: HOL-Homology
sources: caf6b5ead15620f567ee6c2beb795a7b13de8a63
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
b84ef1fe993781e8ee07abc4373f149f194fe8bf
c7c5b6718a5959dd60842f2ff86fb37575460da0


