# isabelle_session_info

session_name: HOL-Homology
sources: 4c7c87bc48feee6bcd6e12f22af9409d4e8dfd65
input_heaps:
531cd0dd66962abee933561c825def01215eb14d
7628b1d8b68dee6d44a904ec07f356e58b6f78ee
5e7a6b61564be475441b3be55d7c695899f1410a


