# isabelle_session_info

session_name: HOL-Homology
sources: 2445f31a8bee170241f0653b6da6ab4f105c93b8
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
a2b973998a710b7d8772d0b324cbe0318c1dac37


