# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 93b20daedff881c01e58251bfa3d4dc9f0eb6b4c
uuid: 057e837e-5655-4cb5-9fc8-7eeaa3bbc557
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
aedc964cb687007787b2bc3358dffea7f5860187


