# isabelle_session_info

session_name: HOL-Homology
sources: 1ee2b6a385d164331ea93677429e158b669bfd34
uuid: e77ee8fb-8c74-4e57-b457-f11937fb581e
input_heaps:
c269d7ba43311fcdd25b27d2c85675fb79c28bfe
c2c8ccb14b1e30e727060788d8f6b1001e9bfa2a
940589066b16bbacc500df1f735992dff6d3355f


