# isabelle_session_info

session_name: HOL-Homology
sources: 19e07c93af723a2eca09a6fafc58ba9a0d6eeef9
input_heaps:
3c696140ba4d112cb2fa7995799bd7524ef2249f
eff07190d0e5c4290c6a8881892fd85251ecd2a3
62f453730c01affe1c6a0ca9df93ada8b9c4c1ec


