# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 9c33c5f0f2f0f6e44ab1cd768881713533a7571b
input_heaps:
0467f1d8ff3c017e43c2ce0ceec1428401ab88c6
d4fa2d7e0077185d6383cc33ee482f2682000ad9
7f6d2ac4c089a743c324435e5e852dba9651f575


