# isabelle_session_info

session_name: HOL-Homology
sources: 40ae60b249d45262e05417e2a39883bde3003c7d
uuid: 09e50f9c-5e24-48f6-9eb3-412f8417744c
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
49d21203046efc7dd592be985eeb698db81f3989


