# isabelle_session_info

session_name: HOL-Homology
sources: c2e373bc81279a7ec12bed61c49912e80badaea2
input_heaps:
0b3eccfc941914cdec8da160566279ceaec47a32
11c84b6c962cb2c835a2796f64ee7e8c5da18a74
14c68324bf1ac87632ac96648e6c452070625fd3


