# isabelle_session_info

session_name: HOL-Homology
sources: f75ef069da40b805f74d55515afbcd63569b7a29
input_heaps:
bd696809c70613acb70cb901c2e1e6285632648f
609f44c41d03923b1784e4fe74802b6652832cec
03239c181960787489b5e00a3b4452a25c1db34e


