# isabelle_session_info

session_name: HOL-Homology
sources: e36ee0f07e4a31b1db7a9944aed6671131a38685
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
71c29cd9aaedb4aa25848509d0d6c991051bdf64


