# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4e9ccbf764493feb3ea342c199e66b397b885f7f
input_heaps:
196a2515706609007ea06d75ec986adb99a8cc65
7115c7e4680b44b378568e77a581f51084272a70
909a7701874bbac37e93c0925321dbe0b71481f3


