# isabelle_session_info

session_name: HOL-Homology
sources: 5fc4d175ff872a4166a11082bf3fa0a2779369a6
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
7b30cbdce675fd216c45a623db36877d581a1ba1


