# isabelle_session_info

session_name: HOL-Homology
sources: 72769f8a4efcf7e5fafad5af3627b4536133c487
input_heaps:
1b9d791c9837b33e4a03e5886fe2246de351b574
478d747829b3e0420f00bb750e519db44f764c62
5146946fa0625829942b0dc8f13470d7c4dc7f2f


