# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: dd05e77e5776a3c0800ec28a5be4cc45ac5854ca
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
605ad2d3c3977b8a463ccda2ead4acc7fe7f5c56


