# isabelle_session_info

session_name: HOL-Homology
sources: 74afc5ca421a0aa13022ee229f3781fc253aeb85
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
fd799a4cc33bcf252b17be7efede6c8e1f5c4250


