# isabelle_session_info

session_name: HOL-Homology
sources: 5447e8d575864bd94db1cba835a2096a01e96382
input_heaps:
381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a
7c6d46e4371dddfd01328e9f87c81c7516f6eaf8
8d2236add47d209d2d972b110410c92aa0586dd8


