# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 55dec04d946cf941f28ab0240849cda79391cefb
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
30c213e7d66acd089fb284e7b92bc214cf788b94


