# isabelle_session_info

session_name: HOL-Homology
sources: c4312bb44c7bb903f0ebc4b01bd758458d0bf921
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
fe72eee8beb84caa055fb1e011802fd1c1109fcd


