# isabelle_session_info

session_name: HOL-Homology
sources: 4401e2ca7681bc39ed780e7dcb717734e56ce342
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
e4be0d2621ebfc8c0f663a023103590fadff93e7


