# isabelle_session_info

session_name: HOL-Homology
sources: 26acc70c909b32651ba209270002fe735ef88894
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
06da9f6806310494140130b074de5295e901903a


