# isabelle_session_info

session_name: HOL-Homology
sources: 2e5bf7a351993e19bc2e7dcf848ee79de56b1216
uuid: 950df49e-fd2f-42eb-817e-90ce39f4ed09
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1cfe0e0607dfe4f2d38dc28f90ee3bbd342e5a5b


