# isabelle_session_info

session_name: HOL-Homology
sources: 4611dc0069f4bf8ae808cb10933184dc279507ea
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
c9eeab8f9fed09217615d92c092487313eb751e2


