# isabelle_session_info

session_name: HOL-Homology
sources: 7e0497874f99b02c4566c25cb3a6f07a09df2f69
input_heaps:
902f55b990891c03dddf854b84aaabb24ee3cee3
e6e8b4787869145ada1a85e687fd48496d7b5e76
f37d08fd3908dc7d3718ed86af6a44e7cb1507fb


