# isabelle_session_info

session_name: HOL-Homology
sources: 38db0b2fd4e36ad2ffe5401766e0d577a13b841f
input_heaps:
6d85d7da629d04ca7c167e89ee6174421944b179
7faafba131fdb968e2d6381e53b58a0c877dd620
db3b9410ad689d1330ea96fb004f3a3814bc520e


