# isabelle_session_info

session_name: HOL-Homology
sources: dfa765eabd5469ed723da11dcb12d5ebea076816
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
2d4638465d3693f5f67087978d182714e5703668


