# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 0c6c43f2a98ca1d3afbe6f58ff72f7556ea9a164
input_heaps:
6b7cffc78b37704c68c4a7685f80ff2e47a7537c
7f368c43b0534a88b3227e5f60a00015a4a52856
d4a83699bfbf67599781353fd065ae2ce9edfe86


