# isabelle_session_info

session_name: HOL-Homology
sources: 1ee2b6a385d164331ea93677429e158b669bfd34
uuid: 2a272078-e815-4af2-aec2-5c6e94b1fc29
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
2b4849106e5e0a07fd2d326348a4030493f1f54b


