# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 39013e612aea79ee05c54f142d347b8c2690af59
input_heaps:
4c5f183ba78d63fba8f2fff83f20ad92ba3f3123
7b9d4e57c8c302939625b8327fc2f5fa1e0eeb2f
1562cf59ce41bb2e00fad7bc867155bb6a6e2219


