# isabelle_session_info

session_name: HOL-Homology
sources: 5e98de7c19ed28c45ff3d5e6df211457e911b8c3
input_heaps:
3c141932b8eee55445640dd8de30189be8d63237
43760af647e811dec05d47112055a1bf84003ff5
d12d9d6de6ee31adaa556eab74bcc1be2f801aea


