# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 9d6439fb337f4ba9904bb68ef41bbe06ad80e9f8
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
399282aab6a41c81d1d47bc193d63bd7a49646ad


