# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 521ae177d5a34b834d7769e900444108bc5cee3f
uuid: 7e5d01fa-848e-4562-98c7-01329b65a3fa
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
cb9745f480a02f9e50daf19a932606b4be83e2d3


