# isabelle_session_info

session_name: HOL-Homology
sources: b67c0edbfd0e3304f0492cfae5dd020015c7309f
input_heaps:
453b001c09ff735701b1550cb3c993764c9b9b6a
3f6e51873188e0c44de8bc52bec007be4fe630db
5f2b0fdac8f294e710c24edde4e45ea5aec37042


