# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fd6d84c0f70fdfb4fd628ee40618eef1498a8447
input_heaps:
a17ca0e9fb4e0fceba75bb31fcaebec8075ae426
a9c891922046e0d6b89301822d50b6a5b330d859
a80959882e9834fe53d5a4a8996e3f0a369cdf0c


