# isabelle_session_info

session_name: HOL-Homology
sources: 595b7fb5b490c3ab1788f6acbc1fa7b2cc1bd101
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
4fb063960691152c90f23ff49cf27b96504e78fd


