# isabelle_session_info

session_name: HOL-Homology
sources: 434ca7787991807c13553f0f025c1aa1560f1027
input_heaps:
ee652d79da3dfe2226e7998ba8d9b6c5b4062632
574a78dd5fb2862f217d3eedf94378929b3d0576
dfd079c298a8bbdee59b0163a940dc0a1cf8ff96


