# isabelle_session_info

session_name: HOL-Homology
sources: a4c6aea06b846562e32a704782f5a5a787b2fa50
input_heaps:
1fdedf6012a4ebc6e40000ef24a132020cf3202d
6607fa2666df38d37eeb7f85fc4e19a3f5c65593
33006140b7368977d359bf33de8c660669466554


