# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: a754bc3d26fcec86184a90083d45e6d455dfceb5
uuid: b5bb1666-5cbf-464c-bd02-0207888d6c67
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
af09d65a608eb7f45a45c94f6d9571993016b3f9


