# isabelle_session_info

session_name: HOL-Homology
sources: c3f6a191f78533051fc87e64f9d26dcf07a7b89b
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
35c5e1d57cf9bb4441d4b9d0644b3ec2f19e0cc4


