# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: be34b5f004bc993870e63d066a9c48dda8105ca6
uuid: fbadcb38-1f68-43b1-9399-3b14b4a088b1
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
13c2e1cfc6eec044c4edb479ac0762d40e364422


