# isabelle_session_info

session_name: HOL-Homology
sources: e16a95b8c3ea2fa8209ea1b5056be44cb8fad9e9
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
5a9aed28ea37180dc777f51df39bb0cb08345ff8


