# isabelle_session_info

session_name: HOL-Homology
sources: d81aeab68ea17c86dd37c1d56d053eb88552549d
uuid: f899f737-647e-413e-aaf4-795f717333ee
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
a3eec49cd7be558f830476b5fea1e87d8037e663


