# isabelle_session_info

session_name: HOL-Homology
sources: ae0e2743aa32fe24b82196944e0eaf5d47347ad9
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
3f8cd2cc54c7c1f4b0a4765dad655ea209444803


