# isabelle_session_info

session_name: HOL-Homology
sources: 9eaf68bf7f388fec81bb65d5deef235a55946372
uuid: b35b36a4-347d-4467-85c5-1d825b919f74
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
6ff5873aa3edd9323d589f48a8afa500cb515b39


