# isabelle_session_info

session_name: HOL-Homology
sources: 01783dd5b512980f9660e02e936d59bd6215d999
input_heaps:
78f8eff916f7453c3062e701b3cb18e4d64202c8
c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350
7d2d93f44f29a139fc2f6cbd977cfed0b584c024


