# isabelle_session_info

session_name: HOL-Homology
sources: 5557a86c26b7b5d5eba491e31ee6cc7a6254fdff
input_heaps:
51ddd6744bb6cc8688864f73b2f7b44091f15cc2
b12aacb2ededdcaac407d06b1294cd215c6b27d5
100502c071dd616667fe9da9008b75bd87bdcfa9


