# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8c04947b8247e36898ecaa5f7e2e90e86ec2a5ef
uuid: 41e0c1bf-e952-409f-8b90-2577e0c468b7
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
d13eef895c0ff8ffe4fa61aa367447674f52f997


