# isabelle_session_info

session_name: HOL-Homology
sources: 69ee553ad33a6234e3e0441127fd7e96bf72a022
input_heaps:
9b9f81d4c305b88e1723b753afa9d6920245812e
c4fec795bbe4e08dce23c820eff003287faea711
d0d568fb320cca12bc6ae8926d477efb3a1d2410


