# isabelle_session_info

session_name: HOL-Homology
sources: 7226c9df5faf32176fc0c59e1e89d6b78c208ad2
input_heaps:
938e15381b816f3f1a92aa6a4c4c27eeaf3487ae
d1bd3d39ef70c98afeeea92fec14162c5407b6cd
d8c5945b041732fe5bceb6289d671cf09deb0b49


