# isabelle_session_info

session_name: HOL-Homology
sources: fc599dd9b1546a2b7e8cb21b1aa2111647063da6
input_heaps:
e77a8c941f727dd78064a6a2a8da7e6e62b6a858
77a8a2b072534c761ea7ab04b667dc9f589b0079
5d7466ab98332ebab73759b4cce398c31822ee46


