# isabelle_session_info

session_name: HOL-Homology
sources: 8e8713f1007c0d05d687bfed95199a642e3dd61e
input_heaps:
670512538733605cb63d45e26f52dda04b891aaf
d1cbb794f03f6e7c97845b63a50e90ed33c8e18c
67c57b6371070fd12d0ef0875b9216c7d8316c7f


