# isabelle_session_info

session_name: HOL-Homology
sources: f75ef069da40b805f74d55515afbcd63569b7a29
input_heaps:
3af822fee716c8c3f7a258f5d449a67bb4886bf0
419241d6c416195954afc47f066fda364f6dc3ed
bd6d51bbcc7a2180d72bc59111105fcea7e5f423


