# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: db529a37474566e39530767416dd3c45ade56978
input_heaps:
48f89a5452f1468e6ef7e43148f4049bfa854994
104b44d6b335769e6a9f2ccc49d063b910fbd6d8
a3e8c4d260f584a34b967fc07a2f58871f169fae


