# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d672747a99f5b7227592e1879cd82935f1ed05d4
uuid: 835d40e7-f958-4a49-9e74-c4b54eba0bea
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
59d802dc1762c9a4895f01750e720cc4a47bf257


