# isabelle_session_info

session_name: HOL-Homology
sources: 7a6b5add3e67807c8bfd7d79ce8cf4bf646edb05
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
acaa4afd7ab9f752d009965a0a6d44379fa5f7e6


