# isabelle_session_info

session_name: HOL-Homology
sources: 6f45257b48a38ecc552d0bb68dac504c5900926e
input_heaps:
a49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95
685096bc14933f70ea5f8817de1a973d7793c3cd
305d12978c8fa975ed5aebb0a3bf42b87e734d92


