# isabelle_session_info

session_name: HOL-Homology
sources: 434ca7787991807c13553f0f025c1aa1560f1027
input_heaps:
166ea06b876a32a5026b5eda3d8717e2fd0b6b7f
e24edf66808fa5f9ae0919ac709ff4821f2d16b5
672188007dbc7b2e80c9a35abe4f9f1e93845e4e


