# isabelle_session_info

session_name: HOL-Homology
sources: 33fe08254c32ed1eaecb3837cd338e062c241967
input_heaps:
4a4f54a92f149cb91f86d6ede33321d86d379713
9ad138bceb8124b0333eaaccb8c4fbbc943ef49a
fa2c50f07751511a65d31c3ac763f58849bc8507


