# isabelle_session_info

session_name: HOL-Homology
sources: dfe799e6bd2ecd0c37c5b001532f14646a99b4e3
input_heaps:
ee07a279e10e083a9cf625a9fe7636c229b9328e
2e355cca259dc8e871de0556aada95e588fab985
122a5f7ced794d55a404065980f369cc02d86f3b


