# isabelle_session_info

session_name: HOL-Homology
sources: dfa765eabd5469ed723da11dcb12d5ebea076816
input_heaps:
52d8c32203b389e63cf65ed6c04890deb1f216f0
37d524dfaf95620c05ff0c9a93e869a905c54743
a4c41bb56ea4862651225c8e7e3ffa86c721854b


