# isabelle_session_info

session_name: HOL-Homology
sources: 987c9732fc614ca82d7c7b15faa13cecc109a46b
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
b2dcadf0567a94880752f2f2a62090b989b979e6


