# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 41a251476bef7293e155c04e09dff0b882c8a5cf
input_heaps:
80c594587f7c0182fd41f269932ab98b52794770
f36e5dba626524370b16749666a8ee92b5ffcb3f
d760c808b195eda2d2f4b2166dc9c05c7dd48287


