# isabelle_session_info

session_name: HOL-Homology
sources: 864566efe4c4aa39e8a1c123f7d8c8e268ce1ef7
input_heaps:
60a148b45ba9a77d08275bcbed1a4e03ca2f42ac
32022e6d944834e4e8205d5bf1712d14f3818068
dd21fb0ae4707ed5f3f5da95135f6812c7c8e182


