# isabelle_session_info

session_name: HOL-Homology
sources: 176fd55f8bfe398240c21a46bedf10295d262782
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
605ad2d3c3977b8a463ccda2ead4acc7fe7f5c56


