# isabelle_session_info

session_name: HOL-Homology
sources: 14db67b4640bcdec2d1c464043eaebb7a89fe81d
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
ebaa6465d08f8a57f3e6169bad6914582713a6b3


