# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 8b75545d04d5c941f2883460c42b71b1fc88241d
uuid: 53a11709-118e-4179-834a-803338f729c9
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
27632d2ac5701c2b6ffa9d4742c9879d27bb691b


