# isabelle_session_info

session_name: HOL-Homology
sources: 55568b2be3d391278e812d61534c5101a1a7ddcb
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
e70cb633a01dd05cf131b7b1bc92651b3abc880b


