# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 04b0cd47e55d158d6bc136c5d786789778ca4d91
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
03306bc7ceaf694c413c93b4024e3418c6bf925e


