# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 203d48e7887b7c35ca47a95db24d48c45ec43c0d
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
93b462c443619f3b5436a368ee10f0662893ec09


