# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fcd5ee01bdc518fa6842c170196c8922d1ebeb62
input_heaps:
ca6408f7f99b4454016625ba43704f73bde79438
39488e311972b8a2a05f1aa29af5276c9877ef8a
cfee10c0559a46b3ef3ca8b5562cb65109cebd7c


