# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 6171424a70187e4f760508f007f0e1252fdd9a36
input_heaps:
a11b8ef9095dc18af944c405902a78d4207477ae
5ec3732189714985ad51626bd5423359bc41965e
0981083f88dd13b4eb942eed6f916e7010b6490f


