# isabelle_session_info

session_name: HOL-Homology
sources: 7379c23710c1e4993ba9bcbf54bfea7c4054e753
input_heaps:
4062aa515595763ef834346739d8a019bcbe0e32
36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d
37dba610e62fa04cd6b9bfb859ee03b537f212d6


