# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 189d2bf423ce33e0c88b977e20b732e787146d21
input_heaps:
a45a2358f19134d58d1b89fd101453cb9f85e39c
88005f1b2ddfe13d2656c7dc04b6e7a4dbefe132
83115345c1809e6a83621a04c83be508002620ee


