# isabelle_session_info

session_name: HOL-Homology
sources: d8d99024de3a26d72a903084c261adba1cdbdbac
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
d41f7ea96b70e066e8e3e684b50d75400afeb65a


