# isabelle_session_info

session_name: HOL-Homology
sources: 1858a385cec7929dac344608556eb8935dca3e43
input_heaps:
17457a3fe97f813a213d7ef8d7b2829eb848aa31
7471308de9c5995fbd439fed7ee59f52017e4e19
d468ac3455b429affd624900b254bee61027a03e


