# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 28db345884868ac386c0aebe59f1519d56701605
input_heaps:
7aefefa57c2b8d1959cd57eb7b4895540e3d49d8
c34a22c7cb73800bae89d4f93d1c695843c99673
ca401fc78a04c5d8e85597ab8606ea5f1be231f9


