# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 44a80f0b5415035ae8295cb9c5cbb6940cacb3d0
uuid: 94548563-35d1-4543-9e81-742c1e63fec0
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
15e1e4fb0cbcbfc75e580637c7e9c4a24e835550


