# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4cb4d659d6e240ff9d16925a4906ca9d24b0443b
input_heaps:
869a160751489e38d92bc488b6a9dcc699746e87
eed706cf54cafa0d15cd7db269fa6af1ae023fe6
3324dbe24c8a00e3b9849cbae86ab28027c28426


