# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 603eb86600f3fa4d33fde18cf0e5986e5fe1bbbe
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
7d67201c30d40b659e534972603154048472633d


