# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 16fc2a6b3c7093af42589a67b469b79fb8b7797f
input_heaps:
8359546699246d10a5649e935cb49d82dd24f91c
618d1903d75365a0f0ea3a2b0aa2f2792fc17965
c0b51706b4d86f50ac235c218ee927df00353ab6


