# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fe9c4f1bd0104a238cd04d1e18ea8cb737e25b03
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
873654236977ae6aa90af4b6acb48693279dd20a


