# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: c02f040f4acbbdfe9ac4e093ead9c307799e760b
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
077768e704a4632b114f3c3c01b78471f70fbe92


