# isabelle_session_info

session_name: HOL-Homology
sources: a7e25efcfcbb897d187ee48d2bc845f7f319a7a9
input_heaps:
555d97234e2215e68dcfd0a908d191212ea0a6bd
2fd30c2f107bbbb7300d851cef8487427bd43e67
55cb416f49c9d39787abf59b886219d4ff2a2be3


