# isabelle_session_info

session_name: HOL-Homology
sources: 80669f262a7b279788813d9bd7a64638ad00651a
input_heaps:
7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8
9a9151510da7705615e394657256d5aac04f0cee
cc19e9bc671071c9854e8e35815af65a18238061


