# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 35a096b735679cd5e153098412f3969b60ab9bbf
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
e3bbbabe140c0d040cec0633cb1518077c7e2174
c604f9bc495f6a255a510f687c39e0a78e5389c6


