# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d58120daa0c29b92f031118155951e1662b64b07
uuid: d74a670f-b621-45e1-972d-75a141181400
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
21103b137aea7365ee884961e38ddcdba33561de


