# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: f41611bfdd7eec7df8161f319f06e64d2cab95cf
uuid: 460b03bc-6a8f-4193-88eb-a95111f859e0
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
237ad23d0c4a9570f7f33a48d31bb2c23fad1294


