# isabelle_session_info

session_name: HOL-Homology
sources: 7bafa300b55501c76cee43a56c4ffd96c6392eb4
input_heaps:
f9ffe87081e62dc90c1b84dded3796bf70f05c5b
21f89be667256b1351681022a3ea53b9f18d7259
74a0b7ac9b02ddff22fbfe73d36e453996c4f690


