# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 83e1c5f25226ad35dcea2ed2a88e5c147c81ebfd
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
9463579ee08b94c9492baa2cfbf7c8131a0eff4f


