# isabelle_session_info

session_name: HOL-Homology
sources: 0ec144a304910d8634d5ecff7fb4b5c307a66c9e
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
52027c16c3cd5240dfabe3a320ef8dcb8b513011


