# isabelle_session_info

session_name: HOL-Homology
sources: 8a2c279335954d57c15c5f01149e81ff716aa324
input_heaps:
a03e89d3fadb53a59cb81066bc63e4eb9b8ee288
067a05d999a76b0907f8fcc12361d7e70ff75dff
4a1415d77bb2636ed08548f62f9ff65bf519fb0b


