# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 7f86d9314fc94f5f5aec7b5c3a71bd354377a8bf
uuid: 62a94036-349a-45e9-b144-47c08c351b58
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
68d57b9d418604156f7e545010d0622bb343869b


