# isabelle_session_info

session_name: HOL-Homology
sources: 4c7c87bc48feee6bcd6e12f22af9409d4e8dfd65
input_heaps:
7fddbccf8fd3f8ba352491f0609478af9a67de35
30397a6608123bad9ab773becd5f4664d5f8fe91
976710774aefdcc17ed823c70d2dd777a1b6f0f4


