# isabelle_session_info

session_name: HOL-Homology
sources: bb78184d46ce69330bcd2b505904fc07831fc91c
input_heaps:
ca3ed9a9646231337b905d185bf29cc2ed7d96c5
10df30d77910ddf7eacacb769f4ff21ca25b020f
a62cc3db9bad0aa251bcde0448cd4eef27a8138f


