# isabelle_session_info

session_name: HOL-Homology
sources: 57a929112022d1d6f2705a98970d0d7a7b2d7b55
input_heaps:
902b177fe6aa9d4842e92c5ac7c28e0170601731
68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed33
3611062bdd0ecd46ea849e9523634f10df16b9f4


