# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 3167d3f384b29d07bbd97dbccf9d10a9d149fe54
uuid: 0d797405-4611-426c-be87-9e8e176fe239
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
58c688e5ae4b0bb271288cf6db1e93b2d5accb94


