# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: c44e5d15fc8ac584d729e750ee0900b64273df2a
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
fe72eee8beb84caa055fb1e011802fd1c1109fcd


