# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0afdb60860ff0b53b9a922db8cfc5bd29f2e4d3f
input_heaps:
42a32478847503f3f85ef33601da5d3576da9156
89ede7dc0b82d7f6167cc537096edf93d9e4a1bb
8bc82c116d14be659d2db88c17a1ab4d03645ede


