# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 28db345884868ac386c0aebe59f1519d56701605
input_heaps:
095a950634237037a8fe6e589372f54d614cf935
dfac3b4064125a42333382ec937d0cece35163aa
cea986c89f9eb236c22c3db8dc765b654a4f2743


