# isabelle_session_info

session_name: HOL-Homology
sources: a3719ba61df47e3213c8dcffe4743ec4954e0ccb
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
a55afd07e640f2aada526542a71d5995340ac536


