# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 22efedbc0b239fad97dd16e5631b791d3ffa38f5
input_heaps:
bd83b15e1e0e9039a1a1655585e69901cdaa3f80
e4ea8cd95193acd87d6b106879f9d68d28c8a75e
8f813d9a322d62e1cfde20de008b4b225649bc09


