# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: da3795e4dcb43eb41613a83b6b36c1506cc9e98d
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
11cf91312ff21ca2fb2609b77bc61dfb5eaf1772


