# isabelle_session_info

session_name: HOL-Homology
sources: 6c4367a0d4be1c64c63c1784e0dd8e9d72fbae86
input_heaps:
52519c7bb622d0149ff1a65e75361161de1fde82
44951f282c031f99bda3129d41270170cf629e89
a510b06810678b0ce188ab59bd7795edb627016e


