# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: cb5ae32064b68b16ae052ad4b2e7e89a92a6b0f8
uuid: af26d5a1-a0c0-4781-87bb-953a87097cf5
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
08c0ea4def54f85fbe636650d751cc2788b02ba4


