# isabelle_session_info

session_name: HOL-Homology
sources: d5504bb5a0c083837160eb21f06269747da4f042
input_heaps:
04c2527dfcc2e4bcf71d91a73f4ba16392812f83
f2dd6209bb85a1d492cea699a734e24e8c396a56
3650703f5dbb19183bc4db4a441ffe20a8c39fe0


