# isabelle_session_info

session_name: HOL-Homology
sources: f83edd48bc2b3678d15ad27a1df43e49e642fedf
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
027a38491754156e993a0a3b9be3caff1dc13b96


