# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 93eef745b7def229f9eae57d538fc0af61c19b22
input_heaps:
83cc805694bc9911202d3d5491fa3857d91ca92e
1267aff52d0486a39f53972086158f862dd66e5f
2ec641af83b0d11d8d903ee7b2351f52989df763


