# isabelle_session_info

session_name: HOL-Homology
sources: ec726207461e40e136ab7cf80e6e2f22f24b4cf8
input_heaps:
7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea
c833d794d77e1e4cd4627e82381772084c282cfe
7919905176777d89c0e4d6d7608fa38edbc1ed18


