# isabelle_session_info

session_name: HOL-Homology
sources: d790f6c288de0f2a74bfd4aac0533563e0bb1a90
input_heaps:
3ccbed440c9bd7d46a54c67425d7713af8496493
5f9161c41302528b2c07b1beabf562853d8bc07e
302f3cb0e3cca9cb41cd93d53d9084c707eaa066


