# isabelle_session_info

session_name: HOL-Homology
sources: a2f59ea2f201d8eeaca2bcdc32ddf22cc2c2a832
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
3e076b19ac61431203797fd184a209821231a4d5


