# isabelle_session_info

session_name: HOL-Homology
sources: 4718bd41d31e990d9181e4ec7deaf91e9464e5f7
uuid: 9c6b6c56-7931-4690-9d55-81bd92554e4c
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
7876a1d07dedc4de41f82abd6e1e429a43d4daf8


