# isabelle_session_info

session_name: HOL-Homology
sources: 69c8ae984dd532c70dc09edd163d92148303a4b3
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
28e5417092ed4526b80c86537e4bb80b7f1107cf


