# isabelle_session_info

session_name: HOL-Homology
sources: f1a987f6739f59bd4c7c94da37b58083a23f81a1
input_heaps:
858d9a71f36341f07666363fbb69619c7d3a817c
27da0e523902851cf095a994342c906e8cbead8f
9f2e8bf52a2314e1ffdb68e64355383a33bc47e8


