# isabelle_session_info

session_name: HOL-Homology
sources: 69163892c6a31d2503647f59c9b6cdb3531f175b
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
40f567de531f8af822417e8a8e372a9b3fcfb723


