# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 80e1aad06a34e6213a8cda2286dfe05bf1c814e9
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
ee201140a7252750d9e38cf36ae317b65405c4c9


