# isabelle_session_info

session_name: HOL-Homology
sources: c259c559a1d0ef79daceb4982e8512b8505d50ad
input_heaps:
ac77010cd64e2ce720ccfa00fb9a959649c23cdb
3d710a4395e8789e600e9dcf06fb2e71a0affc90
9f80d530844bc99c5c2786bd297f6f26920cdf93


