# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 35f2431c8ab701b631429f132b367b588c295a03
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
495d35edb5957d4fe55dfe0b8c13e2d87f44e1ec


