# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fa1bfb9d64a2db148ba1259c12ee9c53c9a331ef
input_heaps:
ebd4c166384c9b3764e108666d8a86269fed7180
8c5d996e1630770374c897d3c4187798a2df046c
64cf3686f808d6c3178569284e92995c8b9b10cb


