# isabelle_session_info

session_name: HOL-Homology
sources: 1285807d1d48fe5ad8ccdfe0818f27330e293c6a
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
9bfdf871a879e57ecb0c756a8d6c38319054207e


