# isabelle_session_info

session_name: HOL-Homology
sources: 4008702accc459e32896aa6bfab9b4ba0c1a991f
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0
80582f2b6c5532dd2998ad2af2924e7b1699ed9b


