# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 970364332009f84a1a37d3a805a9dd285f92ab14
input_heaps:
52d8c32203b389e63cf65ed6c04890deb1f216f0
37d524dfaf95620c05ff0c9a93e869a905c54743
a4c41bb56ea4862651225c8e7e3ffa86c721854b


