# isabelle_session_info

session_name: HOL-Homology
sources: 79860395b7da35e9df8a0f377794ee46a26412ac
input_heaps:
0ca3541890e85917e61d4eb1b72fb2facda5c940
aab8e5e46304aa7fc190d3aff0013f892253e042
3d6f65706f66706ee1ab7d358ad294585b258e06


