# isabelle_session_info

session_name: HOL-Homology
sources: 3955edcf590fe0a75c7e9321c4bef41ed0ac32b6
input_heaps:
b6cea6df0192bc503fe986b33274a8145ff9ecd8
586af23001be017adfac22458b502ccc183a7aa6
15ff4a609ab0096b7e2b32645fece320378da55d


