# isabelle_session_info

session_name: HOL-Homology
sources: 32d954922302391aad49f480624f605684402921
input_heaps:
ae1b5b2dbbc392659df742a008f6c67116d9ebfd
3e2f53debea7c11b89b654421975bbc5018e38b4
ff4e2a0b4a435c2aac194813d80750e1105ca715


