# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: f5efd46920e04a7ce0ae61d451c3dc230456e45c
input_heaps:
00257e3a0e8c31ed9cd42bba4b978a107ebfb35c
d5d0f42e084b29f8cdaff74be02785beacd11284
9b561b997a574db6e553747bdbfb89f73003b317


