# isabelle_session_info

session_name: HOL-Homology
sources: 3f730fa15c58fb352cbf8d4df50b2c777a9c37c0
input_heaps:
9f3df623f783fd84a7fbb5c71b7694606606d9a5
61b1f7f49064b60cde8458ef4b67e23f8844513d
89d946ee6f495270c5759e4fba95fa7a2f194459


