# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fa4fb00465b4845e995287e5529b09f1e18683c9
input_heaps:
5de46abf17e2c5086795d60e983eccffdbef3cbf
8142a2c1c4e75efe740335c6e0b236116ad9d132
9c89601fa6c1f8af7770d53dee94e321354bf590


