# isabelle_session_info

session_name: HOL-Homology
sources: 72c812d2496f2047fc52f42f90b4353445bf7798
input_heaps:
f6cc2b145d15d262c0afc0172602b425d350b305
915e856effcd369d052d31f552bc63efb2f10515
86ad1c3305aa6f4a2209b25fe66534686649ba04


