# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: bfd0abe6e2135907eeedd4cf6c1d6eeb5a25b162
uuid: 20c350f1-e738-4af8-ab18-1fbf11450903
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
d40a3d5d560371c8501599e4ce0cb9ffc3499d90


