# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 83706891262a44739348adebc7cb8b35141964a1
uuid: 8713cf53-552b-4003-b74a-29f9f6c02b44
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
62ff458ea3cb7a28e76447642f62da672865900e


