# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 521ae177d5a34b834d7769e900444108bc5cee3f
uuid: 7052a113-3cfd-4fba-bef9-666e6e581497
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
42cfc5a5945d32b4426b278bd9c55831d00309ed


