# isabelle_session_info

session_name: HOL-Homology
sources: 4c7c87bc48feee6bcd6e12f22af9409d4e8dfd65
input_heaps:
31834e38ec0b0e76e422d9e5943a358a1d5bea79
5dc3e58cfb340e0489c37782ea3c036116b08098
9aa5bc17a4b742394739c47b64d12393fb2ea519


