# isabelle_session_info

session_name: HOL-Homology
sources: 4ea652bc22dbe1566d0efc24a4a95c735028f5ef
input_heaps:
8a4fdc11c1dc5c6543cf017ad94919533cfc18ae
c5ddbd426f3bbda06eb7d85049a91f0bc04d57c5
b068f7d3939df44d04d0d8a83cfec4eb4ec194b6


