# isabelle_session_info

session_name: HOL-Homology
sources: ce0693e6039a165a8ac0f3be67c288c764b4bcc2
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
9874f55a4e6e165ccd03aaffc215bfeeb8703dec


