# isabelle_session_info

session_name: HOL-Homology
sources: e741ba79f4feee92b79b80cb3d0fe3e5777a099d
input_heaps:
91ab3b96b909506c75d6bb6e043eafe54e57f085
ff7eb6c64e4a46301790321fbd0b81563e69554d
a225b6ebc95b58ab2566fba6e89a74a1f9dc3390


