# isabelle_session_info

session_name: HOL-Homology
sources: a740890bac5294ae22f9c659a222dd87c968bbe5
input_heaps:
710b8413f68701024af4b7f96ffa488ef0904ab3
194def0058612d37342f6a74606292df667c62c5
bbca648b38b982ecafb51d383f809f22bb7d48c2


