# isabelle_session_info

session_name: HOL-Homology
sources: 89bdbd3bfdbcce188c2238fdd43743bcaa517087
input_heaps:
7ab027e11c16b198d39bde9e2a761c27851a5912
d1ce42bd7288630116e7d4230ccdfb85f09406f1
487a20d85e6c2757b705078eef4cd83c666fc09a


