# isabelle_session_info

session_name: HOL-Homology
sources: b60bbbaab61552765905b883fecb11899d7e1583
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
a0aafef0823c04b9003c89434d1e323377dcf5f0
24707b67e35e525545d5d74a672cce8f88d543cb


