# isabelle_session_info

session_name: HOL-Homology
sources: 43418402aacec4ffbcae2033a3b8155684935fcc
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
7426f8baad84dfd62cbada54b18982345ad09433


