# isabelle_session_info

session_name: HOL-Homology
sources: ec726207461e40e136ab7cf80e6e2f22f24b4cf8
input_heaps:
75f3f49252de203c33a45106d34066835c922023
ac0ee909b22cd8ac2bfe753f8fe785e0638636d7
5d8f367b0d0182d7aa7c32102fa8828163d15384


