# isabelle_session_info

session_name: HOL-Homology
sources: c8e627ccf9db94e4f9ca7b5d5f51c7f80ed61786
input_heaps:
aa468f196cc1f032ced051f10cd4b6ba6c3bde77
524ae272694e137cafb2e02694c46b4b52cd2087
1324e6057a8226201eec0a303b6d1bd80ab6035a


