# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0b6d4dc08670bb08881135bbc4c0d7227d0daae5
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
48e437c85eddf9199eb8fdb22a40a1b8727d501d


