# isabelle_session_info

session_name: HOL-Homology
sources: 183e2a1d4a984a37df352fcb3b68a3717ad5e85b
input_heaps:
74eab28ea8da34ee4aab975b64b0bf23a196307d
5a1b5ba83b73501af4f4fc7c4ccf60a6f99ce620
140b1862dd421e55bf81d7fb474cbee35703282b


