# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 4d18389d3600c620efaa73afdbb96a02be68e957
input_heaps:
c76929b29fb501c0707c014cb283a2ded47b4e36
17c70744705ab67f304331b243d3ae7a45b8980f
a6b20d85f3a22526188fabf53e4358ce9d40e465


