# isabelle_session_info

session_name: HOL-Homology
sources: 7c4a82bf5fde49bd92d58ce946dc47a7d0a8e8d0
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
4d79760673ac6ea165e2479d623b35927e12e7ef


