# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d8e214322c2c86df8579db734b2483f8fb5763ee
input_heaps:
f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc
92fad740fd10300db52a7965165ba931d80e398a
3f9d1263d75fa1566c5d73156630cc309acbaceb


