# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 76c3d6ed2f0d81a6b9dcb53e265b081e7aadb385
uuid: 505b592f-5d4d-40eb-b687-04cb3ab73868
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
4aea729cb7458a7e48b747b2d9072f20d95ed4c3


