# isabelle_session_info

session_name: HOL-Homology
sources: 2f2883c8e4113bcf2b48dea3028335a9ba5751ad
input_heaps:
070c97b1fc03a84293ce36f48f7c320c6568d381
25f3cd71b7b9ab5695049d9f645e95d39465f5de
d52c4d7396c6386e95ab4ac28115d148f651fe41


