# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 76ec79d33158ce28eb30c182a10151d24bb2c28c
uuid: 539ec0d5-0adb-429d-b863-b572f9689d5c
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
46e8d32255d3281df0e5c5bca3283cc1d2468ecf


