# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 9b87f66f990ac4c49680abf77f748dfb3be81533
input_heaps:
9235961972386390d7ff0c35ee06fa04a23ccb09
b75136753c9ad48a7e1735026ab62b8a6a162965
7e0b5866af2731a2ddbb68eb0f7458ae5c01b47d


