# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 303b77e4e63e73afbaaea2a2a23f719930582e0a
uuid: 4f004dd7-f56c-414e-ad9d-e0aeec83f517
input_heaps:
77299dddcb29b78175e82c70524d32bf9d698d4a
bd3bb075592b20659918170e65cd26a662a77f21
595e9e9b259822e73dc04cd33d14e79bf086fe33


