# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 6928797a0814cb70da19961758ba71076b5bde44
input_heaps:
7453acf374efac985c0e19bcb736d8cc1aea29a8
bf7e9279f03a83e0c69488e2c43a9230106e77d7
ec0773f81efe3eb5ccba185c4e69aa1cdc6bac17


