# isabelle_session_info

session_name: HOL-Homology
sources: 74afc5ca421a0aa13022ee229f3781fc253aeb85
input_heaps:
48f89a5452f1468e6ef7e43148f4049bfa854994
104b44d6b335769e6a9f2ccc49d063b910fbd6d8
a3e8c4d260f584a34b967fc07a2f58871f169fae


