# isabelle_session_info

session_name: HOL-Homology
sources: 8559261b67240aa77f70d84834121e281b17c6c8
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
6172ad234c37144e34d688ee5c304356ced34ad1


