# isabelle_session_info

session_name: HOL-Homology
sources: ec726207461e40e136ab7cf80e6e2f22f24b4cf8
input_heaps:
78a3df3deb9d45514fea086c8beb2a7c1a1ba790
049b979b2a06b0d5c1c847e5ecbd9c6d211697f3
8ce0fdf031af6ad6ca99a632d514aa312ea32ac5


