# isabelle_session_info

session_name: HOL-Homology
sources: 447f1d595f00d678ec13d12dcb87d4c235f830bc
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
03e42994b7eb974e68b75b5104f0ad29d33de5d4


