# isabelle_session_info

session_name: HOL-Homology
sources: 33645c863daf9fdc76489f4bc52a19a2fdf69238
input_heaps:
f49cf1e890799590abbaffa7e0c5e9c98594d78e
1a4dbad16379fb07baa7b947418e96bd4e956b1b
8761df51bc2a917399c0807b00f1487fa9a8bbc9


