# isabelle_session_info

session_name: HOL-Homology
sources: 702240ab952af3cee0849065de5a1a156af83ffc
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
e3bbbabe140c0d040cec0633cb1518077c7e2174
c604f9bc495f6a255a510f687c39e0a78e5389c6


