# isabelle_session_info

session_name: HOL-Homology
sources: 05ded63059f831144118ecc399544d3ef2e9353b
input_heaps:
6e17447a00107a84a0d911955493ae00a345bd11
8f7c907bd2182684f053246d01bc6ec83b1af4f8
8b34127c0d38d5e7b4a27450f3897e390348785b


