# isabelle_session_info

session_name: HOL-Homology
sources: 83c62415dc09190a836cb8f8eb30f0d69d3e0a51
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
9aa36ae041eb54d18996a03f0e9e62d3dffc8f04


