# isabelle_session_info

session_name: HOL-Homology
sources: 7226c9df5faf32176fc0c59e1e89d6b78c208ad2
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
873654236977ae6aa90af4b6acb48693279dd20a


