# isabelle_session_info

session_name: HOL-Homology
sources: 5f1db5af0733c025ec26f3a7054d44c1ae2c0c80
input_heaps:
a45a2358f19134d58d1b89fd101453cb9f85e39c
88005f1b2ddfe13d2656c7dc04b6e7a4dbefe132
83115345c1809e6a83621a04c83be508002620ee


