# isabelle_session_info

session_name: HOL-Homology
sources: 864566efe4c4aa39e8a1c123f7d8c8e268ce1ef7
input_heaps:
610e66d7bbbf591f95ed39af4ee9deb5317eaac4
91da0f421d225cc41f5e7cb69d4a2edf0de1d483
23de498944333ce141bd77b2b9fe6f16dc7b9424


