# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: bfd0abe6e2135907eeedd4cf6c1d6eeb5a25b162
uuid: acc2c132-b538-4ccc-ac91-d87855e225c1
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
e5f6d0aeb9d761c3c7103dc4e57b90c8292110bf


