# isabelle_session_info

session_name: HOL-Homology
sources: 170ba454a807f054703179d004f0ebb4d50fd54a
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
bdd094f2dd8c7520ab15365feff5d5422d078b85


