# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0cf862eb4b357525d456e679d2bccb5de19d8acb
uuid: 900c9c46-5db3-444e-9f16-857548847c67
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
49d21203046efc7dd592be985eeb698db81f3989


