# isabelle_session_info

session_name: HOL-Homology
sources: d30d99bdc1ebe1657f1272045b96988a2e4a84ef
input_heaps:
d5c32f798d9322f44635e87a68b325071c15ce5e
8cfb939097b42be473a6f81320c8bde51d22adb6
a4cecf5f84031b188abc56fb53f34f02d5b10bcb


