# isabelle_session_info

session_name: HOL-Homology
sources: 1c6abf32c1bb84d9a09b419f1d72b57dc9e7b93b
input_heaps:
991981938cf9c509b09775da4fe611141d975544
1b9ffcb61ac967bb2234adca439cd7c5b27cb436
00eebbcd032accf998e623da192647cd3b516a13


