# isabelle_session_info

session_name: HOL-Homology
sources: 570d8f3d6c818638f3c3ba07271db7924e0e2e30
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
af5b07f17f31cdfc9148040c5bc043a6b649571d


