# isabelle_session_info

session_name: HOL-Homology
sources: 73d66dc8bb4f1c95820afb0fd3fe13a040dc56a5
input_heaps:
27f83cb75cdd20c60083d6072d302ef3062f314e
dd918606b85bd653685a072b9f3f02b489037476
e6962512a792eb315512d70dca0ef98c33b826d6


