# isabelle_session_info

session_name: HOL-Homology
sources: 8b42b05d8d4a5e772cb5405be0ab83716c9aa335
input_heaps:
5adbe048162ba6286850b02082ddf88083c0b4e5
3da023d1ea27c13a4bdc6e607859bcb230c86ecf
07fa6455774c8ed9a6b9774251dc6a50387f90a1


