# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 460a650e9d798ccf3daa529002a94d33e2597554
input_heaps:
355a64804e6eca100d64dad0e9de71f136466619
88c162adb4f7b537afea371994c77b7a87e6cf98
af272d0d54b1eb2f1f34e7dbe2a46bbce4a8be1e


