# isabelle_session_info

session_name: HOL-Homology
sources: a1e5bb6257ac29e3d3e45e5ffe31042158f4f58a
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
e1ae0263e246eaf15c4e6a50368a0c23abbc8191


