# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e84919ddad070259440668007e81fdfd82767da8
uuid: 7161dcec-a777-4440-b98c-fea0bad3fa62
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
7876a1d07dedc4de41f82abd6e1e429a43d4daf8


