# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8a1f56509cd60ed10c9f39c81f000ac1cf610b20
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
22f18a793b05c6a196c34b25103601e467fec410


