# isabelle_session_info

session_name: HOL-Homology
sources: d36f74389fa60d7d59a961f04f8d0701ae6abe50
input_heaps:
95c4642864e89459a385a24269c5aa8f5946b483
605907446b5d86ad2a2de8ad3bb7e34e9255c1ea
dac54a77b16735ad415cfec3d71fa7896e6825e9


