# isabelle_session_info

session_name: HOL-Homology
sources: fca3890e9f40a85f6ea32aff473b4f895964f8c8
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
af272d0d54b1eb2f1f34e7dbe2a46bbce4a8be1e


