# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 5a68e6fde26cf4074c6d9b3996b40e1cf1bdcb80
uuid: b7c3f4e5-dcc5-437e-9c46-9201a9a5abed
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
1d6e866f5c37110d5e8f54555674a4cc563311be


