# isabelle_session_info

session_name: HOL-Homology
sources: 7379c23710c1e4993ba9bcbf54bfea7c4054e753
input_heaps:
b71b2aa485767f91425b025d2acb6b14a80f48dd
fe032c99cb4dd9300104ffa318b3d3be808bc47b
61b252c448466d7d7ca5307c65bf7c222eeeef98


