# isabelle_session_info

session_name: HOL-Homology
sources: 8559261b67240aa77f70d84834121e281b17c6c8
input_heaps:
8e5ed195ee2cdbe15f77b520f593f76d8130fb54
64c8f031891189ca79985911abef2bbef37c0626
07fee927c01f5e86922f8f69e4f4b3a3919a3d49


