# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0a388138e22b486128c3a359cb41dc4f10449a6e
uuid: c62df2d0-7b59-44ac-9c46-2b116db1f1cf
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
96bfc42146430720dd77dc251b0dca8cddf36f39


