# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 2744eb2cba12a16826b18a69691b432cfec01d36
input_heaps:
3afe5ba5e03b152c0824328a6fe5be36e1471c8a
648947ba6d0d0ed793c5794fb9c57262f459d8bf
9a11a5dd4151b231f314086e8caa261f7c79a695


