# isabelle_session_info

session_name: HOL-Homology
sources: 881bbdeb73b678fc8157aef74019623b514777d0
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
dd06398f15b1e4d9be45d513ccbf97957667d9ae


