# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 535d062acf0bcd1b7c7f5f1eb826e18ea8f932b8
uuid: f8592f88-46f6-4c05-9973-6079c7b24186
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
e0d5f03b0cbc51d5e79a093b4b3bffdf04f10a7e


