# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 1846d7c9d88b0f041dad477b1c6d057872a4347f
input_heaps:
a49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95
685096bc14933f70ea5f8817de1a973d7793c3cd
305d12978c8fa975ed5aebb0a3bf42b87e734d92


