# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: ed453c3d2192d18485d9064757f749ebaadefa75
input_heaps:
96ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a
3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676
c9eeab8f9fed09217615d92c092487313eb751e2


