# isabelle_session_info

session_name: HOL-Homology
sources: 8b42b05d8d4a5e772cb5405be0ab83716c9aa335
input_heaps:
68cb7b892ff6e63db78c7a6e5177c58783238420
a33fb9fa4258d63bd5352c4c62407407ee5cc8f3
7ac614e54ce60a1a0b8c3a76da657e2bb914d055


