# isabelle_session_info

session_name: HOL-Homology
sources: 05ded63059f831144118ecc399544d3ef2e9353b
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
92d83a3f9935544ccc941b486a98a794a1901ee6
5639cb72be9ddc76509886d106414e36fe16a731


