# isabelle_session_info

session_name: HOL-Homology
sources: 4008702accc459e32896aa6bfab9b4ba0c1a991f
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
8f813d9a322d62e1cfde20de008b4b225649bc09


