# isabelle_session_info

session_name: HOL-Homology
sources: 034556a6eda4050180d5d9127991c9e4ccb889e0
input_heaps:
2b67a9e2bb2b4459e907c5a87a263506b3c16be9
cc3ee92232616aae091b0dea7405319dc878b5ad
5e224ee54f06523cc44fbe1d8730b15de7edabcb


