# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d3a427c541ebc859ff3edd4df8f826aad0066f14
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
40f567de531f8af822417e8a8e372a9b3fcfb723


