# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fa4fb00465b4845e995287e5529b09f1e18683c9
input_heaps:
6cc894aa27961594565a36c702fce7267b225b4b
637be1a2699b13cd4d4572ff61c3930fe237059a
2a335a4c8887418569aa2126857d4cb4ce10c350


