# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 87b535dc2b618bd833acabd87ebac6160f8ad1d4
uuid: d93425d3-991a-407b-9f05-81c7a28400fd
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
63f05b904df31e895c89bac4e7df541fa4bd4156


